Login / Signup
A synergistic approach to improving symbolic execution using test ranges.
Guowei Yang
Rui Qiu
Sarfraz Khurshid
Corina S. Pasareanu
Junye Wen
Published in:
Innov. Syst. Softw. Eng. (2019)
Keyphrases
</>
symbolic execution
test generation
test data generation
test cases
software testing
static analysis
specification language
source code
simulated annealing algorithm
neural network
genetic algorithm
object oriented
data flow