2 papers
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…
cs.CR2025
SAT-BO: Verification Rule Learning and Optimization for FraudTransaction Detection
Mao Luo, Zhi Wang, Yiwen Huang +5
Electronic payment platforms are estimated to process billions oftransactions daily, with the cumulative value of these transactionspotentially reaching into the trillions. Even a…