Bayesian inference using data flow analysis

Guillaume Claret, Sriram K. Rajamani, Aditya V. Nori, Andrew D. Gordon, Johannes Borgström. Bayesian inference using data flow analysis. In Bertrand Meyer, Luciano Baresi, Mira Mezini, editors, Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE'13, Saint Petersburg, Russian Federation, August 18-26, 2013. pages 92-102, ACM, 2013. [doi]

@inproceedings{ClaretRNGB13,
  title = {Bayesian inference using data flow analysis},
  author = {Guillaume Claret and Sriram K. Rajamani and Aditya V. Nori and Andrew D. Gordon and Johannes Borgström},
  year = {2013},
  doi = {10.1145/2491411.2491423},
  url = {http://doi.acm.org/10.1145/2491411.2491423},
  researchr = {https://researchr.org/publication/ClaretRNGB13},
  cites = {0},
  citedby = {0},
  pages = {92-102},
  booktitle = {Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE'13, Saint Petersburg, Russian Federation, August 18-26, 2013},
  editor = {Bertrand Meyer and Luciano Baresi and Mira Mezini},
  publisher = {ACM},
  isbn = {978-1-4503-2237-9},
}