Towards Concolic Testing for Hybrid Systems.

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

Browse the full FM paper archive.