Login / Signup
Combining Search-Based Testing and Dynamic Symbolic Execution by Evolvability Metric.
Ziming Zhu
Li Jiao
Xiong Xu
Published in:
ICSME (2018)
Keyphrases
</>
test data generation
search based testing
symbolic execution
test cases
simulated annealing algorithm
learning algorithm
artificial intelligence
traveling salesman problem
test generation