Scaling Concolic Testing for the Environment-Intensive Program.

Xue Lei Wei Huang Wenqing Fan Yixian Yang

Published in: IEICE Trans. Inf. Syst. (2015)

Keyphrases

test cases
dynamic environments
programming environment
symbolic execution
concurrent programs
test suite
real time
neural network
case study
similarity measure
mobile robot
test bed
complex environments
search based software testing