Birgitta Lindström, Paul Pettersson, Jeff Offutt. Generating Trace-Sets for Model-based Testing. In ISSRE 2007, The 18th IEEE International Symposium on Software Reliability, Trollhättan, Sweden, 5-9 November 2007. pages 171-180, IEEE Computer Society, 2007. [doi]
Abstract is missing.