×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [dynamic symbolic execution]
1 Automating the Generation of Mutation Tests Mike Papadakis and Nicos Malevris Department of Informatics Athens University of Economics and Business
215 views
Combining Dynamic Symbolic Execution (DSE) with Search-Based Software Testing (SBST) Cristian Cadar Department of Computing Imperial College London SBST
222 views
OCAT: Object Capture based Automated Testing (ISSTA 2010)
487 views
CREST Internal Yunho Kim Provable Software Laboratory CS Dept. KAIST
219 views
10.1.1.225.8231.pdf
226 views