Towards Concolic Testing for Hybrid Systems.

Pingfan Kong Yi Li Xiaohong Chen Jun Sun Meng Sun Jingyi Wang

Published in: FM (2016)

Keyphrases

hybrid systems
black box
meta learning
intelligent systems
computational intelligence
neural network
soft computing
artificial intelligence
discrete event
test cases
test set
search problems
learning tasks
test data
dynamical systems
semi supervised
machine learning