Kirk Sayre, Jesse H. Poore. A Reliability Estimator for Model Based Software Testing. In 13th International Symposium on Software Reliability Engineering (ISSRE 2002), 12-15 November 2002, Annapolis, MD, USA. pages 53-63, IEEE Computer Society, 2002. [doi]
Abstract is missing.