@inproceedings{DDD+5,
title = { Efficient Guiding Strategies for Testing of Temporal Properties of Hybrid Systems },
author = {Dreossi, Tommaso and Dang, Thao and Donz\'e, Alexandre and Kapinski, James P. and Jin, Xiaoqing and Deshmukh, Jyotirmoy V.},
year = {2015},
booktitle = {{NASA} Formal Methods - 7th International Symposium, {NFM} 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings},
pages = {127--142},
team = {axe_Mohytos, TEMPO},
}