Towards Concolic Testing for Hybrid Systems

Pingfan Kong, Yi Li, Xiaohong Chen, Jun Sun 0001, Meng Sun, Jingyi Wang. Towards Concolic Testing for Hybrid Systems. In John S. Fitzgerald, Constance L. Heitmeyer, Stefania Gnesi, Anna Philippou, editors, FM 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings. Volume 9995 of Lecture Notes in Computer Science, pages 460-478, 2016. [doi]

Abstract

Abstract is missing.