@Inproceedings{EPTCS111.1, author = {Peleska, Jan}, year = {2013}, title = {Industrial-Strength Model-Based Testing - State of the Art and Current Challenges}, editor = {Petrenko, Alexander K. and Schlingloff, Holger}, booktitle = {{\rm Proceedings Eighth Workshop on} Model-Based Testing, {\rm Rome, Italy, 17th March 2013}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {111}, publisher = {Open Publishing Association}, pages = {3-28}, doi = {10.4204/EPTCS.111.1}, }