1 23 International Journal on Software Tools for Technology Transfer ISSN 1433-2779 Int J Softw Tools Technol Transfer DOI 10.1007/s10009-012-0240-3 Model-based testing of software and systems: recent advances and challenges Alexandre Petrenko, Adenilso Simao & José Carlos Maldonado