Hermann Felbinger, Christian Schwarzl. Suitability analysis of CSP- and SMT-solvers for test case generation. In Vijay Ganesh, Nicky Williams, editors, Proceedings of the 6th International Workshop on Constraints in Software Testing, Verification, and Analysis, CSTVA 2014, Hyderabad, India, May 31, 2014. pages 40-49, ACM, 2014. [doi]
Abstract is missing.