Jan Tretmans. Model-based testing: An attempt to combine provable soundness and effective automation and industrial applicability. In Reinhard German, Armin Heindl, editors, Proceedings 13th GI/ITG Conference on Measuring, Modelling and Evaluation of Computer and Communication Systems, MMB 2006, March 27-29, 2006, Nürnberg, Germany. pages 99-100, VDE Verlag, 2006.
Abstract is missing.