10 Bernhard Aichernig Willibald Krenn Henrik Eriksson Jonny Vinter 2008 D 1.2 - State of the Art Survey - Part a: Model-based Test Case Generation MOGENTES public project deliverable 06/2008 <p><font face="Arial">Model-based test generation techniques are on the rise. This is not surprising because they promise cheap,&nbsp;flexible and correct test cases in a world of ever increasingly complex systems. </font></p><p><font face="Arial">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:<br /></font></p><ul><li><font face="Verdana">Systems models for testing<br /></font></li><li><font face="Arial"> Test case generation techniques<br /></font></li><li><font face="Arial">Fault injection techniques<br /></font></li><li><font face="Arial">Industrial case studies</font></li></ul><p>&nbsp;</p>

For more information, please contact one of the authors:

  • Bernhard Aichernig: aichernig<at>ist.tugraz.at
  • Willibald Krenn: wkrenn<at>ist.tugraz.at
  • Jonny Vinter: jonny.vinter<at>sp.se
  • Henrik Eriksson: henrik.eriksson<at>sp.se