Automated Program Repair Using Formal Verification Techniques.
Hadar FrenkelOrna GrumbergBat-Chen RothenbergSarai SheinvaldPublished in: Principles of Systems Design (2022)
Keyphrases
- formal verification
- program slicing
- model checking
- automated verification
- model checker
- symbolic model checking
- bounded model checking
- semi automated
- functional verification
- computer programs
- fully automated
- heuristic search
- static analysis
- damage assessment
- description languages
- software systems
- object oriented
- dynamic programming