4 papers
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…
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…
Branching Strategy Selection Approach Based on Vivification Ratio
Mao Luo, Chu-Min Li, Xinyun Wu +2
The two most effective branching strategies LRB and VSIDS perform differently on different types of instances. Generally, LRB is more effective on crafted instances, while VSIDS is…
Clause Vivification by Unit Propagation in CDCL SAT Solvers
Chu-Min Li, Fan Xiao, Mao Luo +3
Original and learnt clauses in Conflict-Driven Clause Learning (CDCL) SAT solvers often contain redundant literals. This may have a negative impact on performance because redundant…