Code-coverage guided prioritized test generation | IEEE Conference Publication | IEEE Xplore