Probabilistic model for code with decision trees.

Veselin Raychev, Pavol Bielik, Martin T. Vechev

Browse the full OOPSLA paper archive.