Eduardo Aranha Paulo Borba Using Process Simulation to Assess the Test Design Effort Reduction of a Model-Based Testing Approach. 282-293 2008 ICSP http://dx.doi.org/10.1007/978-3-540-79588-9_25 conf/ispw/2008 db/conf/ispw/icsp2008.html#AranhaB08