Model Driven Testing Based on Test History. - Isaac Corro Ramos; Alessandro Di Bucchianico; Lusine Hakobyan; Kees M. van Hee (Trans. Petri Nets Other Model. Concurr., 2008)