Test Case Generation by Contract Mutation in Spec#

Willibald Karl Krenn, Bernhard Aichernig

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

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