Suitability analysis of CSP- and SMT-solvers for test case generation

Hermann Felbinger, Christian Schwarzl

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationCSTVA 2014 Proceedings of the 6th International Workshop on Constraints in Software Testing, Verification and Analysis
Place of PublicationNew York
PublisherAssociation of Computing Machinery
Pages40-49
ISBN (Print)978-1-4503-2847-0
Publication statusPublished - 2014
EventInternational Conference on Software Engineering - Hyderabad, India
Duration: 31 May 2014 → …

Conference

ConferenceInternational Conference on Software Engineering
CountryIndia
CityHyderabad
Period31/05/14 → …

Fields of Expertise

  • Mobility & Production

Cite this

Felbinger, H., & Schwarzl, C. (2014). Suitability analysis of CSP- and SMT-solvers for test case generation. In CSTVA 2014 Proceedings of the 6th International Workshop on Constraints in Software Testing, Verification and Analysis (pp. 40-49). New York: Association of Computing Machinery.