Effective Bug Finding in C Programs with Shape and Effect Abstractions.

Iago Abal Claus Brabrand Andrzej Wasowski

Published in: VMCAI (2017)

Keyphrases

high level
database
computer vision
shape features
shape representation
data sets
genetic algorithm
learning algorithm
high quality
search algorithm
computationally efficient
software systems
shape analysis
shape recognition
shape change