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:

http://hdl.handle.net/2142/50315

BibTeX

@techreport{tr/uiuc/DingesA14,
    author = "Dinges, Peter and Agha, Gul",
    title = "Targeted Test Input Generation Using Symbolic-Concrete
             Backward Execution",
    ee = "http://hdl.handle.net/2142/50315",
    institution = "University of Illinois at Urbana--Champaign",
    month = "September",
    year = "2014",
}