Philippe Chevalley, Pascale Thévenod-Fosse. An Empirical Evaluation of Statistical Testing Designed from UML State Diagrams: The Flight Guidance System Case Study. In 12th International Symposium on Software Reliability Engineering (ISSRE 2001), 27-30 November 2001, Hong Kong, China. pages 254-263, IEEE Computer Society, 2001. [doi]
Abstract is missing.