2 papers
cs.SE2026
SeqTG: Scalable Combinatorial Test Generation via Sequential Integer Linear Programming
Sitong Yang, Wanying Bao, Yinyin Song +3
Combinatorial Testing (CT) is essential for detecting interaction-triggered faults, yet generating minimal Covering Arrays under complex constraints remains an unresolved NP-hard c…
cs.SE2026
Rethinking Basis Path Testing: Mixed Integer Programming Approach for Test Path Set Generation
Chao Wei, Xinyi Peng, Yawen Yan +2
Basis path testing is a cornerstone of structural testing, yet traditional automated methods, relying on greedy graph-traversal algorithms (e.g., DFS/BFS), often generate sub-optim…