Julien Deltour, Alain Faivre, Emmanuel Gaudin, Arnault Lapitre. Model-Based Testing: An Approach with SDL/RTDS and DIVERSITY. In Daniel Amyot, Pau Fonseca i Casas, Gunter Mussbacher, editors, System Analysis and Modeling: Models and Reusability - 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedings. Volume 8769 of Lecture Notes in Computer Science, pages 198-206, Springer, 2014. [doi]
Abstract is missing.