Proceedings

• Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko, editors, Proceedings of Fifth Workshop on Model Based Testing, MBT@ETAPS 2009, York, UK, March 22, 2009. Volume 253 of Electronic Notes in Theoretical Computer Science, Elsevier, 2009.