Test Case Generation by Contract Mutation in Spec#

Willibald Karl Krenn, Bernhard Aichernig

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

Original languageEnglish
Title of host publicationModel-Based Testing -- MBT 09
PublisherElsevier B.V.
Pages71-86
Volume253
Publication statusPublished - 2009
EventWorkshop on Model-Based Testing - York, United Kingdom
Duration: 22 Mar 200922 Mar 2009

Publication series

NameElectronic Notes in Theoretical Computer Science
PublisherElsevier

Conference

ConferenceWorkshop on Model-Based Testing
CountryUnited Kingdom
CityYork
Period22/03/0922/03/09

Cite this

Krenn, W. K., & Aichernig, B. (2009). Test Case Generation by Contract Mutation in Spec#. In Model-Based Testing -- MBT 09 (Vol. 253, pp. 71-86). (Electronic Notes in Theoretical Computer Science). Elsevier B.V..