Visible to the public Targeted Test Input Generation Using Symbolic Concrete Backward Execution TECH REPORT

Submitted by amyclay on Mon, 11/23/2015 - 6:30pm
License: 
Creative Commons 2.5

Other available formats:

Targeted Test Input Generation Using Symbolic Concrete Backward Execution TECH REPORT
Switch to experimental viewer