Test case generation by OCL mutation and constraint solving

Bernhard Aichernig, Percy Pari Salas

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

Original languageEnglish
Title of host publicationQSIC 2005
EditorsKai-Yuan Cai
Place of PublicationLos Alamitos, Calif.
PublisherIEEE Computer Soc. Press
Pages64-71
Publication statusPublished - 2005
EventInternational Conference on Quality Software - Melbourne, Australia
Duration: 19 Sep 200521 Sep 2005

Conference

ConferenceInternational Conference on Quality Software
CountryAustralia
CityMelbourne
Period19/09/0521/09/05

Projects

Formal Methods

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

1/01/95 → …

Project: Research area

Cite this

Aichernig, B., & Pari Salas, P. (2005). Test case generation by OCL mutation and constraint solving. In K-Y. Cai (Ed.), QSIC 2005 (pp. 64-71). Los Alamitos, Calif.: IEEE Computer Soc. Press.