Analysing the program analyser.

Cristian Cadar Alastair F. Donaldson

Published in: ICSE (Companion Volume) (2016)

Keyphrases

computer programs
automatic programming
multiscale
database
data model
practical experience
fault localization
programming environment
test cases
logic programming
open source
probabilistic model
artificial neural networks
expert systems
cooperative
information systems
real world
databases
real time