%0 Report %D 2008 %T D 1.2 - State of the Art Survey - Part a: Model-based Test Case Generation %A Aichernig, Bernhard %A Krenn, Willibald %A Eriksson, Henrik %A Vinter, Jonny %U https://www.mogentes.eu/public/deliverables/MOGENTES_1-19a_1.1r_D1.2_Survey_Part-a.pdf %X

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:



For more information, please contact one of the authors:


%8 06/2008