Test case generation by OCL mutation and constraint solving

Bernhard Aichernig, Percy Pari Salas

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

Original languageEnglish
Title of host publicationQSIC 2005
EditorsKai-Yuan Cai
Place of PublicationLos Alamitos, Calif.
PublisherIEEE Computer Soc. Press
Pages64-71
Publication statusPublished - 2005
EventQSIC 2OO5, Fifth International Conference on Quality Software: QSIC 2005 - Melbourne, Australia
Duration: 19 Sep 200520 Sep 2005

Conference

ConferenceQSIC 2OO5, Fifth International Conference on Quality Software
Country/TerritoryAustralia
CityMelbourne
Period19/09/0520/09/05
  • Formal Methods

    Lucas, P., Lorber, F. L., Jöbstl, E. & Aichernig, B.

    1/01/95 → …

    Project: Research area

Cite this