Proceedings

• Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko, editors, Proceedings of the Second Workshop on Model Based Testing, MBT 2006, Vienna, Austria, March 25-26, 2006. Volume 164 of Electronic Notes in Theoretical Computer Science, Elsevier, 2006.