Repair-Trajectory Replay Verification
A verification mechanism in the UVA method that, under the same execution state, reruns the key steps of a repair trajectory according to the abstracted problem description and checks whether the same repair result can be reproduced, thereby verifying that the abstraction has not lost necessary technical detail.
Timeline (last 90 days)
The UVA method rewrites questions from solved repair trajectories and keeps a rewrite only when it discloses fewer private entities and the repair process can be verified by replaying the repair trajectory under the same execution state.
Repair trajectory replay verification works by simulating a rerun of the key steps of the repair trajectory under the same execution state using only the abstracted question description, checking whether the same repair result can be reached.
All Facts (2)
The UVA method rewrites questions from solved repair trajectories and keeps a rewrite only when it discloses fewer private entities and the repair process can be verified by replaying the repair trajectory under the same execution state.
50%UnverifiedRepair trajectory replay verification works by simulating a rerun of the key steps of the repair trajectory under the same execution state using only the abstracted question description, checking whether the same repair result can be reached.
50%