1. Bidirectional Symbolic Analysis for Effective Branch Testing
2. P. Boonstoppel , C. Cadar , D.R. Engler . Rwset : Attacking path explosion in constraint-based test generation . In Proc. TACAS 2008 , Lecture Notes in Computer Science vol. 4963 , 351--366. Springer, 2008 . 10.1007/978-3-540-78800-3\_27 P. Boonstoppel, C. Cadar, D.R. Engler. Rwset: Attacking path explosion in constraint-based test generation. In Proc. TACAS 2008, Lecture Notes in Computer Science vol. 4963, 351--366. Springer, 2008. 10.1007/978-3-540-78800-3\_27
3. A.R. Bradley . Sat-based model checking without unrolling . In Proc. VMCAI 2011 , Lecture Notes in Computer Science , vol. 6538 , 70--87. Springer, 2011 . 10.1007/978-3-642-18275-4\_7 A.R. Bradley. Sat-based model checking without unrolling. In Proc. VMCAI 2011, Lecture Notes in Computer Science, vol. 6538, 70--87. Springer, 2011. 10.1007/978-3-642-18275-4\_7
4. M. Delahaye , B. Botella , A. Gotlieb . Explanation-based generalization of infeasible path . In Proc. 3rd Intl. Conf. on Software Testing, Verification and Validation, ICST 2010 , 215--224. IEEE, 2010 . 10.1109/ICST.2010.13 M. Delahaye, B. Botella, A. Gotlieb. Explanation-based generalization of infeasible path. In Proc. 3rd Intl. Conf. on Software Testing, Verification and Validation, ICST 2010, 215--224. IEEE, 2010. 10.1109/ICST.2010.13