Predicting Program Properties from "Big Code".

Veselin Raychev, Martin T. Vechev, Andreas Krause

Browse the full POPL paper archive.