A diagnostic test generation system and a coverage metric | IEEE Conference Publication | IEEE Xplore