Browse Dept. of Computer Science by Subject "Backward Execution"

  • Dinges, Peter (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 ...

    application/pdf

    application/pdfPDF (907kB)
  • Dinges, Peter; Agha, Gul A. (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 ...

    application/pdf

    application/pdfPDF (387kB)