Proceedings of the Fourth Workshop on Model Based Testing (MBT 2008)

Bernd Finkbeiner, Yuri Gurevich, and Alexander K. Petrenko (editors)

Proceedings of the Fourth Workshop on Model Based Testing (MBT 2008), Electronic Notes in Theoretical Computer Science, Volume 220, Issue 1, December 2008.