Automating Software Analysis at Large Scale.

Daniel Kroening Michael Tautschnig

Published in: MEMICS (2014)

Keyphrases

data analysis
software development
neural network
computer systems
databases
real world
computer vision
digital libraries
source code
software systems