Odile Laurent Christel Seguin Virginie Wiels A methodology for automated test generation guided by functional coverage constraints at specification level. 285-288 2006 conf/kbse/2006 ASE http://doi.ieeecomputersociety.org/10.1109/ASE.2006.6 db/conf/kbse/ase2006.html#LaurentSW06