@inproceedings{3b838f1aeb234e44992d00cd0f81bf1a,
title = "Suitability analysis of CSP- and SMT-solvers for test case generation",
author = "Hermann Felbinger and Christian Schwarzl",
year = "2014",
language = "English",
isbn = "978-1-4503-2847-0",
pages = "40--49",
booktitle = "CSTVA 2014 Proceedings of the 6th International Workshop on Constraints in Software Testing, Verification and Analysis",
publisher = "Association of Computing Machinery",
address = "United States",
note = "International Conference on Software Engineering ; Conference date: 31-05-2014",
}