@inproceedings{DBLP:conf/pts/CavalliMMMQ06, author = {Ana R. Cavalli and St{\'e}phane Maag and Wissam Mallouli and Mikael Marche and Yves-Marie Quemener}, title = {Application of Two Test Generation Tools to an Industrial Case Study.}, booktitle = {TestCom}, year = {2006}, pages = {134-148}, ee = {http://dx.doi.org/10.1007/11754008_9}, crossref = {DBLP:conf/pts/2006}, bibsource = {DBLP, http://dblp.uni-trier.de} }