Enhancing Automated Program Repair with Deductive Verification.

Xuan-Bach Dinh Le Quang Loc Le David Lo Claire Le Goues

Published in: ICSME (2016)

Keyphrases

symbolic execution
functional programs
hardware designs
model checking
fully automated

semi automated
case study
knowledge representation
explanation based learning
face verification

test generation
program execution
asynchronous circuits
abductive inference
real time

verification method
fingerprint verification
data driven
expert systems
knowledge base