Automating Software Analysis and Testing Using a Program Transformation System

Gordon Kotik, Lawrence Markosian. Automating Software Analysis and Testing Using a Program Transformation System. In Symposium on Testing, Analysis, and Verification. pages 75-84, 1989. [doi]

@inproceedings{KotikM89,
  title = {Automating Software Analysis and Testing Using a Program Transformation System},
  author = {Gordon Kotik and Lawrence Markosian},
  year = {1989},
  doi = {10.1145/75308.75318},
  url = {http://doi.acm.org/10.1145/75308.75318},
  tags = {program analysis, testing, analysis, transformation system, transformation, program transformation},
  researchr = {https://researchr.org/publication/KotikM89},
  cites = {0},
  citedby = {0},
  pages = {75-84},
  booktitle = {Symposium on Testing, Analysis, and Verification},
}