Jörg Brauer, Jan Peleska, Uwe Schulze. Efficient and Trustworthy Tool Qualification for Model-Based Testing Tools. In Brian Nielsen, Carsten Weise, editors, Testing Software and Systems - 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012. Proceedings. Volume 7641 of Lecture Notes in Computer Science, pages 8-23, Springer, 2012. [doi]
Abstract is missing.