Targeted Test Input Generation Using Symbolic Concrete Backward Execution 1 Download Tags: Concolic; Symcretic; Backward Execution; Goal-Directed UIUC License: Creative Commons 2.5 Submitted by Amy Clay on Mon, 11/23/2015 - 16:09