1 |
A Generic Framework for Symbolic Execution
|
|
|
|
In: 6th International Conference on Software Language Engineering ; https://hal.inria.fr/hal-00853588 ; 6th International Conference on Software Language Engineering, Oct 2013, Indianapolis, United States. pp.281-301 (2013)
|
|
BASE
|
|
Show details
|
|
|
|