Fabrice Bouquet Eddie Jaffuel Bruno Legeard Fabien Peureux Mark Utting Requirements traceability in automated test generation: application to smart card software validation. 2005 conf/amost/2005 A-MOST http://doi.acm.org/10.1145/1083274.1083282 db/conf/amost/amost2005.html#BouquetJLPU05