Yanjun Sun, Gérard Memmi, Sylvie Vignes. Model-Based Testing Directed by Structural Coverage and Functional Requirements. In 2016 IEEE International Conference on Software Quality, Reliability and Security, QRS 2016, Companion, Vienna, Austria, August 1-3, 2016. pages 284-291, IEEE, 2016. [doi]
Abstract is missing.