Synthesize it: from Design by Contract™to Meaningful Test Input Data

Stefan Galler, Martin Weiglhofer, Franz Wotawa

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

Original languageEnglish
Title of host publicationSoftware Engineering and Formal Methods 2010
Publisher.
Pages1-10
Publication statusPublished - 2010

Cite this