ProveNFix: Temporal Property-Guided Program Repair.
Yahui SongXiang GaoWenhua LiWei-Ngan ChinAbhik RoychoudhuryPublished in: Proc. ACM Softw. Eng. (2024)
Keyphrases
- temporal information
- temporal data
- spatio temporal
- temporal constraints
- computer programs
- temporal reasoning
- program execution
- database
- spatial and temporal
- genetic algorithm
- temporal databases
- temporal evolution
- temporal analysis
- databases
- test cases
- data streams
- information retrieval
- real world
- programming environment
- temporal structure