<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2016-03-08 07:04:46Software Computing Application software Functional languages Cat Symbolic execution ARG2 ARG1 R |
Add to Reading List |
| First Page | Document Content | |
|---|---|---|
Date: 2016-03-08 07:04:46Software Computing Application software Functional languages Cat Symbolic execution ARG2 ARG1 R |
Add to Reading List |
RWset: Attacking Path Explosion in Constraint-Based Test Generation Cristian Cadar, Peter Boonstoppel, Dawson Engler TACAS 2008, Budapest, Hungary ETAPS 2008