An Empirical Evaluation of Statistical Testing Designed from UML State Diagrams: The Flight Guidance System Case Study.

Philippe Chevalley, Pascale Thvenod-Fosse

Browse the full ISSRE paper archive.