Ana R. Cavalli Stéphane Maag Wissam Mallouli Mikael Marche Yves-Marie Quemener Application of Two Test Generation Tools to an Industrial Case Study. 134-148 2006 conf/pts/2006 TestCom http://dx.doi.org/10.1007/11754008_9 db/conf/pts/testcom2006.html#CavalliMMMQ06