×
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
214 views
Combining Dynamic Symbolic Execution (DSE) with Search-Based Software Testing (SBST) Cristian Cadar Department of Computing Imperial College London SBST
216 views
OCAT: Object Capture based Automated Testing (ISSTA 2010)
486 views
CREST Internal Yunho Kim Provable Software Laboratory CS Dept. KAIST
215 views
10.1.1.225.8231.pdf
226 views