Constraint Based Program Repair for Persistent Memory Bugs.
Zunchen HuangChao WangPublished in: ICSE (2024)
Keyphrases
- test cases
- static analysis
- memory requirements
- source code
- computer programs
- real time
- website
- programming environment
- data sets
- programs written
- knowledge base
- damage assessment
- fault localization
- database
- memory usage
- computational power
- associative memory
- databases
- genetic algorithm
- information systems
- multi agent systems
- high level
- case study