Login / Signup
State of the art: Dynamic symbolic execution for automated test generation.
Ting Chen
Xiaosong Zhang
Shi-ze Guo
Hong-yuan Li
Yue Wu
Published in:
Future Gener. Comput. Syst. (2013)
Keyphrases
</>
test generation
symbolic execution
test cases
static analysis
design automation
software testing
specification language
quality assurance
code coverage
test data generation
source code
data flow
software systems
building blocks
data management
search algorithm
learning algorithm