Towards Concolic Testing for Hybrid Systems
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Pingfan Kong, Yi Li 0010, Xiaohong Chen 0002, Jun Sun 0001, Meng Sun 0002, Jingyi Wang
Towards Concolic Testing for Hybrid Systems
FM, 2016.

FM 2016
Full names Links ISxN
	author        = "Pingfan Kong and Yi Li 0010 and Xiaohong Chen 0002 and Jun Sun 0001 and Meng Sun 0002 and Jingyi Wang",
	booktitle     = "{Proceedings of the 21st International Symposium of Formal Methods}",
	doi           = "10.1007/978-3-319-48989-6_28",
	isbn          = "978-3-319-48988-9",
	pages         = "460--478",
	title         = "{Towards Concolic Testing for Hybrid Systems}",
	year          = 2016,


Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.