Heuristic Search with Reachability Tests for Automated Generation of Test Programs

@inproceedings{Leow-al:ASE04,
  author    = {Wee Kheng Leow and
               Siau{-}Cheng Khoo and
               Tiong Hoe Loh and
               Vivy Suhendra},
  title     = {Heuristic Search with Reachability Tests for Automated Generation of Test Programs},
  booktitle = {ASE},
  pages     = {282--285},
  publisher = {{IEEE} Computer Society},
  year      = {2004},
}