Heuristics for Scalable Dynamic Test Generation | IEEE Conference Publication | IEEE Xplore