Treffer: Combining Formal and Informal Information in Bayesian Program Analysis via Soft Evidences

Title:
Combining Formal and Informal Information in Bayesian Program Analysis via Soft Evidences
Authors:
Li, Tianchi, Zhang, Xin
Source:
Proceedings of the ACM on Programming Languages. 9(OOPSLA1):1774-1801
Availability:
http://dl.acm.org/doi/10.1145/3720508
Database:
ACM Full-Text Collection