Proceedings Ninth Workshop on Model-Based Testing
  This volume contains the proceedings of the Ninth Workshop on Model-Based Testing (MBT 2014), which was held in Grenoble, France on April 6, 2014 as a satellite workshop of the European Joint Conferences on Theory and Practice of Software (ETAPS 2014). 
Holger Schlingloff (Fraunhofer FOKUS, Humboldt University of Berlin,   Germany), Alexander K. Petrenko (Institute for System...
cs.SE