@article{DN9,
title = {Coverage-Guided Test Generation for Continuous and Hybrid Systems },
author = {Dang, Thao and Nahhal, Tarik},
year = {2009},
journal = {Formal Methods in System Design},
team = {axe_Mohytos, TEMPO},
}
