Browse Dept. of Computer Science by Subject "Backward Execution"
Now showing items 1-2 of 2
(2015-01-21)Targeted inputs are input values for a program that lead to the execution of a user-specified branch or statement. Targeted inputs are useful: In debugging, for example, they allow programmers to follow the execution ...
(2014-09-11)Knowing inputs that cover a specific branch or statement in a program is useful for debugging and regression testing. Symbolic backward execution (SBE) is a natural approach to find such targeted inputs. However, SBE ...