Clémentine Nebut Franck Fleurey Yves Le Traon Jean-Marc Jézéquel Automatic Test Generation: A Use Case Driven Approach. 140-155 2006 32 IEEE Trans. Software Eng. 3 http://doi.ieeecomputersociety.org/10.1109/TSE.2006.22 db/journals/tse/tse32.html#NebutFTJ06