Result: Predicting Program Properties from 'Big Code'

Title:
Predicting Program Properties from 'Big Code'
Authors:
Raychev, Veselin, Vechev, Martin, Krause, Andreas
Source:
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. :111-124
Availability:
http://dl.acm.org/doi/10.1145/2676726.2677009
Database:
ACM Full-Text Collection