Automated Code Repair Based on Inferred Specifications.

William Klieber Will Snavely

Published in: SecDev (2016)

Keyphrases

semi automated
high level
formal specification
control flow
code generation
data driven
semi automatic
real time
database systems
fully automated
specification language
reactive systems