Philippe Chevalley Pascale Thévenod-Fosse An Empirical Evaluation of Statistical Testing Designed from UML State Diagrams: The Flight Guidance System Case Study. 254-263 2001 conf/issre/2001 ISSRE http://csdl.computer.org/comp/proceedings/issre/2001/1306/00/13060254abs.htm db/conf/issre/issre2001.html#ChevalleyT01