A tool for random test generation targeting high diagnostic resolution | IEEE Conference Publication | IEEE Xplore