Login / Signup
Towards Concolic Testing for Hybrid Systems.
Pingfan Kong
Yi Li
Xiaohong Chen
Jun Sun
Meng Sun
Jingyi Wang
Published in:
CoRR (2016)
Keyphrases
</>
hybrid systems
intelligent systems
black box
neural network
soft computing
discrete event
meta learning
computational intelligence
artificial intelligence
test cases
text classification
model selection
search algorithm
search problems