@inproceedings{1ea3b61a1b724aac9201178c34278d12,
title = "Towards concolic testing for hybrid systems",
author = "Pingfan Kong and Yi Li and Xiaohong Chen and Jun Sun and Meng Sun and Jingyi Wang",
note = "Funding Information: The project is supported by the NRF project IGDSi1305012 in SUTD and by the National Natural Science Foundation of China under grant no. 61532019, 61202069 and 61272160. Publisher Copyright: {\textcopyright} Springer International Publishing AG 2016.; 21st International Symposium on Formal Methods, FM 2016 ; Conference date: 09-11-2016 Through 11-11-2016",
year = "2016",
doi = "10.1007/978-3-319-48989-6_28",
language = "English",
isbn = "9783319489889",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "460--478",
editor = "Constance Heitmeyer and Anna Philippou and Stefania Gnesi and John Fitzgerald",
booktitle = "FM 2016",
}