Original language | English |
---|---|
Title of host publication | Software Engineering and Formal Methods 2010 |
Publisher | . |
Pages | 1-10 |
Publication status | Published - 2010 |
Synthesize it: from Design by Contract™to Meaningful Test Input Data
Stefan Galler, Martin Weiglhofer, Franz Wotawa
Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review