Proceedings of the Second Workshop on Model Based Testing (MBT 2006)

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

Proceedings of the Second Workshop on Model Based Testing (MBT 2006), Electronic Notes in Theoretical Computer Science, Volume 164, Issue 4, October 2006.