Automated Construction of Testing and Analysis Tools

@inproceedings{Devanbu-al:ICSE94,
  author    = {Premkumar T. Devanbu and
               David S. Rosenblum and
               Alexander L. Wolf},
  title     = {Automated Construction of Testing and Analysis Tools},
  booktitle = {ICSE},
  pages     = {241--250},
  publisher = {{IEEE} Computer Society / {ACM} Press},
  year      = {1994},
}