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: