Abstract interpretation repair.

Roberto Bruni Roberto Giacobazzi Roberta Gori Francesco Ranzato

Published in: PLDI (2022)

Keyphrases

abstract interpretation
termination analysis
static analysis
model checking
active rules
reasoning engine
active databases
dynamic analysis
database
management system
source code
reverse engineering