Coverage-directed test generation with model checkers: challenges and opportunities | IEEE Conference Publication | IEEE Xplore