Heuristic Search with Reachability Tests for Automated Generation of Test Programs. - Wee Kheng Leow; Siau-Cheng Khoo; Tiong Hoe Loh; Vivy Suhendra (ASE, 2004)