Coverage Based Test-Case Generation Using Model Checkers (2001)

by Sanjai Rayadurgam, Mats P E Heimdahl
Venue:In Proceedings of the 8th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ECBS 2001