Thao Dang, Noa Shalev. State Estimation and Property-Guided Exploration for Hybrid Systems Testing. In Brian Nielsen, Carsten Weise, editors, Testing Software and Systems - 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012. Proceedings. Volume 7641 of Lecture Notes in Computer Science, pages 152-167, Springer, 2012. [doi]
Abstract is missing.