Open Systems Laboratory at Illinois

Targeted test input generation using symbolic-concrete backward execution

By Peter Dinges and Gul Agha. Technical Report, University of Illinois at Urbana--Champaign, September 2014.

Publisher Link:


    author = "Dinges, Peter and Agha, Gul",
    title = "Targeted Test Input Generation Using Symbolic-Concrete
             Backward Execution",
    ee = "",
    institution = "University of Illinois at Urbana--Champaign",
    month = "September",
    year = "2014",