Towards concolic testing for hybrid systems

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

doi:10.1007/978-3-319-48989-6_28

Towards concolic testing for hybrid systems

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

^*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

12 Citations (SciVal)

Original language	English
Title of host publication	FM 2016
Subtitle of host publication	Formal Methods - 21st International Symposium, Proceedings
Editors	Constance Heitmeyer, Anna Philippou, Stefania Gnesi, John Fitzgerald
Publisher	Springer Verlag
Pages	460-478
Number of pages	19
ISBN (Print)	9783319489889
DOIs	https://doi.org/10.1007/978-3-319-48989-6_28
Publication status	Published (VoR) - 2016
Event	21st International Symposium on Formal Methods, FM 2016 - Limassol, Cyprus Duration: 9 Nov 2016 → 11 Nov 2016

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	9995 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	21st International Symposium on Formal Methods, FM 2016
Country/Territory	Cyprus
City	Limassol
Period	9/11/16 → 11/11/16

Funding

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.

Access to Document

10.1007/978-3-319-48989-6_28

Cite this

Kong, P., Li, Y., Chen, X., Sun, J., Sun, M., & Wang, J. (2016). Towards concolic testing for hybrid systems. In C. Heitmeyer, A. Philippou, S. Gnesi, & J. Fitzgerald (Eds.), FM 2016: Formal Methods - 21st International Symposium, Proceedings (pp. 460-478). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9995 LNCS). Springer Verlag. https://doi.org/10.1007/978-3-319-48989-6_28

Kong, Pingfan ; Li, Yi ; Chen, Xiaohong et al. / Towards concolic testing for hybrid systems. FM 2016: Formal Methods - 21st International Symposium, Proceedings. editor / Constance Heitmeyer ; Anna Philippou ; Stefania Gnesi ; John Fitzgerald. Springer Verlag, 2016. pp. 460-478 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@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",

}

Kong, P, Li, Y, Chen, X, Sun, J, Sun, M & Wang, J 2016, Towards concolic testing for hybrid systems. in C Heitmeyer, A Philippou, S Gnesi & J Fitzgerald (eds), FM 2016: Formal Methods - 21st International Symposium, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 9995 LNCS, Springer Verlag, pp. 460-478, 21st International Symposium on Formal Methods, FM 2016, Limassol, Cyprus, 9/11/16. https://doi.org/10.1007/978-3-319-48989-6_28

Towards concolic testing for hybrid systems. / Kong, Pingfan; Li, Yi; Chen, Xiaohong et al.
FM 2016: Formal Methods - 21st International Symposium, Proceedings. ed. / Constance Heitmeyer; Anna Philippou; Stefania Gnesi; John Fitzgerald. Springer Verlag, 2016. p. 460-478 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9995 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Towards concolic testing for hybrid systems

AU - Kong, Pingfan

AU - Li, Yi

AU - Chen, Xiaohong

AU - Sun, Jun

AU - Sun, Meng

AU - Wang, Jingyi

N1 - 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: © Springer International Publishing AG 2016.

PY - 2016

Y1 - 2016

UR - https://www.scopus.com/pages/publications/84996590264

UR - https://www.scopus.com/inward/citedby.url?scp=84996590264&partnerID=8YFLogxK

U2 - 10.1007/978-3-319-48989-6_28

DO - 10.1007/978-3-319-48989-6_28

M3 - Conference contribution

AN - SCOPUS:84996590264

SN - 9783319489889

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 460

EP - 478

BT - FM 2016

A2 - Heitmeyer, Constance

A2 - Philippou, Anna

A2 - Gnesi, Stefania

A2 - Fitzgerald, John

PB - Springer Verlag

T2 - 21st International Symposium on Formal Methods, FM 2016

Y2 - 9 November 2016 through 11 November 2016

ER -

Kong P, Li Y, Chen X, Sun J, Sun M, Wang J. Towards concolic testing for hybrid systems. In Heitmeyer C, Philippou A, Gnesi S, Fitzgerald J, editors, FM 2016: Formal Methods - 21st International Symposium, Proceedings. Springer Verlag. 2016. p. 460-478. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-319-48989-6_28

Towards concolic testing for hybrid systems

Publication series

Conference

Funding

Access to Document

Other files and links

Fingerprint

Cite this