Sanjai Rayadurgam, Mats Per Erik Heimdahl. Coverage Based Test-Case Generation Using Model Checkers. In 8th IEEE International Conference on Engineering of Computer-Based Systems (ECBS 2001), 17-20 April 2001, Washington, DC, USA. pages 83, IEEE Computer Society, 2001. [doi]