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

Hermann Felbinger, Christian Schwarzl

Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-review

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
ISBN (Print)978-1-4503-2847-0
Publication statusPublished - 2014
EventInternational Conference on Software Engineering - Hyderabad, India
Duration: 31 May 2014 → …


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

Fields of Expertise

  • Mobility & Production

Cite this