Coverage-Directed Test Generation with Model Checkers: Challenges and Opportunities.

George Devaraj, Mats Per Erik Heimdahl, Donglin Liang

Browse the full COMPSAC paper archive.