Gordon Fraser, Franz Wotawa. Increasing Diversity in Coverage Test Suites Using Model Checking. In Byoungju Choi, editor, Proceedings of the Ninth International Conference on Quality Software, QSIC 2009, Jeju, Korea, August 24-25, 2009. pages 211-218, IEEE Computer Society, 2009. [doi]
Abstract is missing.