Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko, editors, Proceedings of the Third Workshop on Model Based Testing, MBT 2007, Braga, Portugal, March 31 - April 1, 2007. Volume 190 of Electronic Notes in Theoretical Computer Science, Elsevier, 2007. [doi]
Conference: mbt2007
Abstract is missing.