Synthesize It: From Design by Contract to Meaningful Test Input Data.

Stefan J. Galler, Martin Weiglhofer, Franz Wotawa

Browse the full SEFM paper archive.