Philippe Chevalley Pascale Thévenod-Fosse Automated Generation of Statistical Test Cases from UML State Diagrams. 205-214 2001 conf/compsac/2001 COMPSAC http://doi.ieeecomputersociety.org/10.1109/CMPSAC.2001.960618 db/conf/compsac/compsac2001.html#ChevalleyT01