Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko, editors, Proceedings of the Fourth Workshop on Model Based Testing, MBT@ETAPS 2008, Budapest, Hungary, March 30, 2008. Volume 220 of Electronic Notes in Theoretical Computer Science, Elsevier, 2008. [doi]
Conference: mbt2008
Abstract is missing.