Generating Distinguishing Tests using the MINION Constraint Solver

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

Original languageEnglish
Title of host publicationProc. of the 2nd Workshop on Constraints in Software Testing, Verification and Analysis (CSTVA'10)
Publisher.
Pages1-6
Publication statusPublished - 2010
Event2nd Workshop on Constraints in Software Testing, Verification and Analysis (CSTVA'10) - Paris
Duration: 10 Apr 2010 → …

Workshop

Workshop2nd Workshop on Constraints in Software Testing, Verification and Analysis (CSTVA'10)
CityParis
Period10/04/10 → …

Treatment code (Nähere Zuordnung)

  • Basic - Fundamental (Grundlagenforschung)

Cite this

Wotawa, F., Nica, M., & Aichernig, B. (2010). Generating Distinguishing Tests using the MINION Constraint Solver. In Proc. of the 2nd Workshop on Constraints in Software Testing, Verification and Analysis (CSTVA'10) (pp. 1-6). ..