![](/img/cover-not-exists.png)
[ACM Press the 6th International Workshop - Hyderabad, India (2014.05.31-2014.05.31)] Proceedings of the 6th International Workshop on Constraints in Software Testing, Verification, and Analysis - CSTVA 2014 - Suitability analysis of CSP- and SMT-solvers for test case generation
Felbinger, Hermann, Schwarzl, ChristianYear:
2014
Language:
english
DOI:
10.1145/2593735.2593741
File:
PDF, 1.55 MB
english, 2014