The Second International Workshop on Automated Program Analysis, Testing and Verification

@inproceedings{Tracey-al:ICSE01,
  author    = {Nigel Tracey and
               John Penix and
               Willem Visser},
  title     = {The Second International Workshop on Automated Program Analysis, Testing and Verification},
  booktitle = {ICSE},
  pages     = {755},
  publisher = {{IEEE} Computer Society},
  year      = {2001},
}