@inproceedings{AlvesV09,
  title = {Static Estimation of Test Coverage},
  author = {Tiago L. Alves and Joost Visser},
  year = {2009},
  doi = {10.1109/SCAM.2009.15},
  url = {http://doi.ieeecomputersociety.org/10.1109/SCAM.2009.15},
  tags = {test coverage, testing, analysis, static analysis, code querying, graph-rewriting, slicing, context-aware, rewriting, coverage},
  researchr = {https://researchr.org/publication/AlvesV09},
  cites = {0},
  citedby = {0},
  pages = {55-64},
  booktitle = {SCAM},
}

@article{10.1109-SCAM.2009.15,
  title = {Static Estimation of Test Coverage},
  author = {Tiago L. Alves and Joost Visser},
  year = {2009},
  doi = {10.1109/SCAM.2009.15},
  url = {http://doi.ieeecomputersociety.org/10.1109/SCAM.2009.15},
  tags = {test coverage, testing, analysis, static analysis, graph-rewriting, slicing, context-aware, rewriting, coverage},
  researchr = {https://researchr.org/publication/10.1109-SCAM.2009.15},
  cites = {0},
  citedby = {0},
  journal = {Source Code Analysis and Manipulation, IEEE International Workshop on},
  volume = {0},
}

@inproceedings{AlvesSVO05,
  title = {Strategic Term Rewriting and Its Application to a VDMSL to SQL Conversion},
  author = {Tiago L. Alves and Paulo F. Silva and Joost Visser and José Nuno Oliveira},
  year = {2005},
  doi = {10.1007/11526841_27},
  url = {http://dx.doi.org/10.1007/11526841_27},
  tags = {model-to-model transformation, Data refinement, meta programming, graph transformation, meta-model, refinement, SQL, term rewriting, relational algebra, Haskell, data-flow programming, data-flow, source-to-source, graph-rewriting, strategic programming, Strategic term rewriting, model transformation,  algebra, type theory, Meta-Environment, rewriting, transformation},
  researchr = {https://researchr.org/publication/AlvesSVO05},
  cites = {0},
  citedby = {0},
  pages = {399-414},
  booktitle = {FM},
}

@inproceedings{AlvesV08,
  title = {A Case Study in Grammar Engineering},
  author = {Tiago L. Alves and Joost Visser},
  year = {2008},
  doi = {10.1007/978-3-642-00434-6_18},
  url = {http://dx.doi.org/10.1007/978-3-642-00434-6_18},
  tags = {test coverage, case study, traversal, grammar engineering, testing, analysis, software engineering, code generation, parsing, iterative development, coverage, grammar},
  researchr = {https://researchr.org/publication/AlvesV08},
  cites = {0},
  citedby = {0},
  pages = {285-304},
  booktitle = {SLE},
}