Model-Based Testing Directed by Structural Coverage and Functional Requirements.

Yanjun Sun, Grard Memmi, Sylvie Vignes

Browse the full QRS paper archive.