C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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