Enhancing Automated Program Repair with Deductive Verification.
Xuan-Bach Dinh LeQuang Loc LeDavid LoClaire Le GouesPublished 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