Research Summary for Dynamic Detection of Program Invariants

@inproceedings{Ernst:ICSE99,
  author    = {Michael D. Ernst},
  title     = {Research Summary for Dynamic Detection of Program Invariants},
  booktitle = {ICSE},
  pages     = {718--719},
  publisher = {{ACM}},
  year      = {1999},
}