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", }