Proceedings of the Third Workshop on Model Based Testing (MBT 2007)
Bernd Finkbeiner, Yuri Gurevich, and Alexander K. Petrenko (editors)
Proceedings of the Third Workshop on Model Based Testing (MBT 2007), Electronic Notes in Theoretical Computer Science, Volume 190, Issue 2, August 2007.