Tommaso Dreossi, Thao Dang, Alexandre Donzé, James Kapinski, Xiaoqing Jin, Jyotirmoy V. Deshmukh. Efficient Guiding Strategies for Testing of Temporal Properties of Hybrid Systems. In Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi, editors, NASA Formal Methods - 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings. Volume 9058 of Lecture Notes in Computer Science, pages 127-142, Springer, 2015. [doi]
Abstract is missing.