User-guided program reasoning using Bayesian inference.

Mukund Raghothaman, Sulekha Kulkarni, Kihong Heo, Mayur Naik

Browse the full PLDI paper archive.