Sciweavers

TOPNOC
2008
13 years 5 months ago
Model Driven Testing Based on Test History
Abstract. We consider software systems consisting of a single component running one sequential process only. We model such software systems as a special class of transition systems...
Isaac Corro Ramos, Alessandro Di Bucchianico, Lusi...