"Bayesian specification learning for finding API usage errors."

Vijayaraghavan Murali, Swarat Chaudhuri, Chris Jermaine (2017)
a service of Schloss Dagstuhl - Leibniz Center for Informatics