@proceedings{issta:1991,
  title = {Symposium on Testing, Analysis, and Verification},
  year = {1991},
  tags = {testing, analysis},
  researchr = {https://researchr.org/publication/issta%3A1991},
  cites = {0},
  citedby = {0},
  booktitle = {Symposium on Testing, Analysis, and Verification},
  conference = {ISSTA},
}