Publication [KongLCSSW16] Towards Concolic Testing for Hybrid Systems Kong, P.; Li, Y.; Chen, X.; Sun, J.; Sun, M. and Wang, J. In FM, pages 460-478, LNCS 9995, 2016.Downloads: bib
