Yuri Gurevich, Alexander K. Petrenko, editors, Proceedings of the Workshop on Model Based Testing, MBT 2004, Barcelona, Spain, March 27-28, 2004. Volume 111 of Electronic Notes in Theoretical Computer Science, Elsevier, 2005. [doi]
Conference: mbt2005
Abstract is missing.