Login / Signup
Discover deeper bugs with dynamic symbolic execution and coverage-based fuzz testing.
Bin Zhang
Chao Feng
Adrian Herrera
Vitaly Chipounov
George Candea
Chaojing Tang
Published in:
IET Softw. (2018)
Keyphrases
</>
symbolic execution
static analysis
source code
test generation
test data generation
test cases
specification language
test suite
software systems
quality assurance
database
databases
optimal solution
simulated annealing algorithm