×
Log in
Upload File
Most Popular
Art & Photos
Automotive
Business
Career
Design
Education
Hi-Tech
+ Browse for More
The top documents tagged [sz h magic]
Documents
Dynamic Symbolic Execution Cristian Cadar Department of Computing Imperial College London Computer Aided Verification (CAV13) St Petersburg, 15 July 2013
220 views
Documents
Combining Dynamic Symbolic Execution (DSE) with Search-Based Software Testing (SBST) Cristian Cadar Department of Computing Imperial College London SBST
219 views