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 contributionResearchpeer-review

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

Cite this

Galler, S., Weiglhofer, M., & Wotawa, F. (2010). Synthesize it: from Design by Contract™to Meaningful Test Input Data. In Software Engineering and Formal Methods 2010 (pp. 1-10). ..

Synthesize it: from Design by Contract™to Meaningful Test Input Data. / Galler, Stefan; Weiglhofer, Martin; Wotawa, Franz.

Software Engineering and Formal Methods 2010. ., 2010. p. 1-10.

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

Galler, S, Weiglhofer, M & Wotawa, F 2010, Synthesize it: from Design by Contract™to Meaningful Test Input Data. in Software Engineering and Formal Methods 2010. ., pp. 1-10.
Galler S, Weiglhofer M, Wotawa F. Synthesize it: from Design by Contract™to Meaningful Test Input Data. In Software Engineering and Formal Methods 2010. . 2010. p. 1-10
Galler, Stefan ; Weiglhofer, Martin ; Wotawa, Franz. / Synthesize it: from Design by Contract™to Meaningful Test Input Data. Software Engineering and Formal Methods 2010. ., 2010. pp. 1-10
@inproceedings{bd936865a5844ddba89ef10292a45767,
title = "Synthesize it: from Design by Contract™to Meaningful Test Input Data",
author = "Stefan Galler and Martin Weiglhofer and Franz Wotawa",
year = "2010",
language = "English",
pages = "1--10",
booktitle = "Software Engineering and Formal Methods 2010",
publisher = ".",

}

TY - GEN

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

AU - Galler, Stefan

AU - Weiglhofer, Martin

AU - Wotawa, Franz

PY - 2010

Y1 - 2010

M3 - Conference contribution

SP - 1

EP - 10

BT - Software Engineering and Formal Methods 2010

PB - .

ER -