by V. Raychev, M. T. Vechev, A. Krause
Reference:
Predicting program properties from 'big code' V. Raychev, M. T. Vechev, A. KrauseIn Communications of the ACM, volume 62, 2019
Bibtex Entry:
@article{raychev19cacm,
author = {Veselin Raychev and Martin T. Vechev and Andreas Krause},
bibsource = {dblp computer science bibliography, https://dblp.org},
bib,
doi = {10.1145/3306204},
journal = {Communications of the {ACM}},
number = {3},
pages = {99--107},
timestamp = {Thu, 09 May 2019 13:10:55 +0200},
title = {Predicting program properties from 'big code'},
volume = {62},
year = {2019}}