Leveraging existing instrumentation to automatically infer invariant-constrained models

Ivan Beschastnikh, Yuriy Brun, Sigurd Schneider, Michael Sloan, Michael D. Ernst. Leveraging existing instrumentation to automatically infer invariant-constrained models. In Tibor Gyimóthy, Andreas Zeller, editors, SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13rd European Software Engineering Conference (ESEC-13), Szeged, Hungary, September 5-9, 2011. pages 267-277, ACM, 2011. [doi]

@inproceedings{BeschastnikhBSSE11,
  title = {Leveraging existing instrumentation to automatically infer invariant-constrained models},
  author = {Ivan Beschastnikh and Yuriy Brun and Sigurd Schneider and Michael Sloan and Michael D. Ernst},
  year = {2011},
  doi = {10.1145/2025113.2025151},
  url = {http://doi.acm.org/10.1145/2025113.2025151},
  researchr = {https://researchr.org/publication/BeschastnikhBSSE11},
  cites = {0},
  citedby = {0},
  pages = {267-277},
  booktitle = {SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13rd European Software Engineering Conference (ESEC-13), Szeged, Hungary, September 5-9, 2011},
  editor = {Tibor Gyimóthy and Andreas Zeller},
  publisher = {ACM},
  isbn = {978-1-4503-0443-6},
}