Can I read Synthesize It: From Design by Contract™ To Meaningful Test Input Data on EtoBox?

Synthesize It: From Design by Contract™ To Meaningful Test Input Data by sjgweb is a document available to read on EtoBox.

What is Synthesize It: From Design by Contract™ To Meaningful Test Input Data about?

Testing is a very important but tedious task in software engineering. This paper presents a technique to automatically synthesize implementations for the parameters of a MUT from a given Design by contract(tm) specification. Our approach outperforms random data generation on both case studies in terms of amount of methods tested (function coverage) and line coverage.

Author

sjgweb

Language

EN