A. Agung Julius, Georgios E. Fainekos, Madhukar Anand, Insup Lee, George J. Pappas. Robust Test Generation and Coverage for Hybrid Systems. In Alberto Bemporad, Antonio Bicchi, Giorgio C. Buttazzo, editors, Hybrid Systems: Computation and Control, 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007, Proceedings. Volume 4416 of Lecture Notes in Computer Science, pages 329-342, Springer, 2007. [doi]
@inproceedings{JuliusFALP07,
title = {Robust Test Generation and Coverage for Hybrid Systems},
author = {A. Agung Julius and Georgios E. Fainekos and Madhukar Anand and Insup Lee and George J. Pappas},
year = {2007},
doi = {10.1007/978-3-540-71493-4_27},
url = {http://dx.doi.org/10.1007/978-3-540-71493-4_27},
tags = {test coverage, testing, coverage},
researchr = {https://researchr.org/publication/JuliusFALP07},
cites = {0},
citedby = {0},
pages = {329-342},
booktitle = {Hybrid Systems: Computation and Control, 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007, Proceedings},
editor = {Alberto Bemporad and Antonio Bicchi and Giorgio C. Buttazzo},
volume = {4416},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-540-71492-7},
}