@techreport { 113, title = {D 1.2 - State of the Art Survey - Part a: Model-based Test Case Generation}, year = {2008}, note = {

For more information, please contact one of the authors:

 

}, month = {06/2008}, abstract = {

Model-based test generation techniques are on the rise. This is not surprising because they promise cheap, flexible and correct test cases in a world of ever increasingly complex systems.

Because model-based testing draws from formal methods and the wide body of known testing techniques, a lot of scientific work exists. This survey tries to give an overview of recent advances in the field, where following chapters are addressed in particular:

 

}, URL = {https://www.mogentes.eu/public/deliverables/MOGENTES_1-19a_1.1r_D1.2_Survey_Part-a.pdf}, author = {Bernhard Aichernig and Willibald Krenn and Henrik Eriksson and Jonny Vinter} }