Static automated program repair for heap properties.

Rijnard van Tonder Claire Le Goues

Published in: ICSE (2018)

Keyphrases

data structure
structural properties
dynamic analysis
decision making
data driven
desirable properties
semi automated
machine learning
information systems
expert systems
static analysis
topological properties
automated analysis