Tim Menzies, David Owen, Bojan Cukic. Saturation Effects in Testing of Formal Models. In 13th International Symposium on Software Reliability Engineering (ISSRE 2002), 12-15 November 2002, Annapolis, MD, USA. pages 15-26, IEEE Computer Society, 2002. [doi]
Abstract is missing.