Online testing with model programs

Margus Veanes, Colin Campbell, Wolfram Schulte, Nikolai Tillmann. Online testing with model programs. In Michel Wermelinger, Harald Gall, editors, Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2005, Lisbon, Portugal, September 5-9, 2005. pages 273-282, ACM, 2005. [doi]

@inproceedings{VeanesCST05,
  title = {Online testing with model programs},
  author = {Margus Veanes and Colin Campbell and Wolfram Schulte and Nikolai Tillmann},
  year = {2005},
  doi = {10.1145/1081706.1081751},
  url = {http://doi.acm.org/10.1145/1081706.1081751},
  tags = {meta programming, meta-model, testing, Meta-Environment},
  researchr = {https://researchr.org/publication/VeanesCST05},
  cites = {0},
  citedby = {0},
  pages = {273-282},
  booktitle = {Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2005, Lisbon, Portugal, September 5-9, 2005},
  editor = {Michel Wermelinger and Harald Gall},
  publisher = {ACM},
  isbn = {1-59593-014-0},
}