Generating Distinguishing Tests Using the Minion Constraint Solver

Franz Wotawa, Mihai Nica, Bernhard K. Aichernig
2010 2010 Third International Conference on Software Testing, Verification, and Validation Workshops  
We discuss the generation of test cases for demonstrating the non-equivalence of two programs. This problem has applications in mutation testing and automated debugging. After transforming the programs into Static-Single-Assignment form, the MINION constraint solver is used to generate test vectors that demonstrate the observable difference. The experiments show the feasability of our constraint solving approach. Killed (
doi:10.1109/icstw.2010.11 dblp:conf/icst/WotawaNA10 fatcat:k3kywqb4obf4bnax5ujgx7y3qi