@article{article845b98e4,
title   = {Model-based testing of software and systems: recent advances and challenges},
author = {Petrenko, Alexandre and Simão, Adenilso da Silva and Maldonado, José Carlos},
year = {2012},
doi = {10.1007/s10009-012-0240-3},
journal   = {International Journal on Software Tools for Technology Transfer (STTT)}
}