Using Test Ranges to Improve Symbolic Execution.

Rui Qiu Sarfraz Khurshid Corina S. Pasareanu Junye Wen Guowei Yang

Published in: NFM (2018)

Keyphrases

symbolic execution
test generation
test data generation
test cases
neural network
artificial intelligence
training set
data sets
monitoring system