Accelerating Patch Validation for Program Repair with Interception-Based Execution Scheduling.
Yuan-an XiaoChenyang YangBo WangYingfei XiongPublished in: CoRR (2023)
Keyphrases
- preventive maintenance
- program execution
- execution traces
- computational grids
- scheduling problem
- control flow
- symbolic execution
- resource allocation
- resource consumption
- execution model
- computer programs
- deadlock free
- round robin
- fault localization
- timing constraints
- parallel machines
- scheduling algorithm
- consistent query answering
- repair actions
- real time database systems
- programming environment
- integrity constraints
- concurrent execution