Predicting program properties from ``big code''
scientific article; zbMATH DE number 6631294