Author

Xin-Tao Niu

2 papers indexed here

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

#software testing Book Open access Oct 2026

Beyond Syntactic Differencing: Semantic-Aware Scheduling for Cross-Configuration Incremental Builds

Modern configurable software systems are routinely built and tested across thousands of configuration variants to ensure correctness under diverse settings. Reusing build artifacts across configurations is therefore crucial to reduce redundant effort, yet remains challenging. Existing approaches estimate rebuild cost u...

Xiao-Long Dai, Shan-Shan Li, Jun Lyu et al. · Proceedings of the 41st IEEE... · 0 citations

Open access Oct 2026

Automated Debugging of Datalog Programs

Datalog has become a widely adopted language in program analysis, security, and data-intensive systems. However, debugging Datalog programs remains fundamentally challenging due to their declarative semantics, lack of explicit control flow, and massive scale of derived facts. Existing approaches, such as inspecting pro...

Jia-Shen Wei, Bao-Yuan Luo, Run-Shuo Xie et al. · Proceedings of the ACM on Pr... · 0 citations