Syntax-Guided Automated Program Repair for Hyperproperties.

Raven Beutner Tzu-Han Hsu Borzoo Bonakdarpour Bernd Finkbeiner

Published in: CAV (3) (2024)

Keyphrases

semi automated
databases
computer assisted
program execution
concurrent programs
syntactic semantic
database
decision making
case study
natural language
source code
semi automatic