Test Case Generation by Contract Mutation in Spec#

Willibald Karl Krenn, Bernhard Aichernig

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

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

Publication series

NameElectronic Notes in Theoretical Computer Science
PublisherElsevier

Workshop

Workshop5th Workshop on Model-Based Testing
Country/TerritoryUnited Kingdom
CityYork
Period22/03/0922/03/09

Cite this