  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).
