Tom Chen, Anneliese Amschler Andrews, Amjad Hajjar, Charles Anderson, Mehmet Sahinoglu. How Much Testing is Enough? Applying Stopping Rules to Behavioral Model Testing. In 4th IEEE International Symposium on High-Assurance Systems Engineering (HASE 99), 17-19 November 1999, Washington, D.C, USA, Proceedings. pages 249-256, IEEE Computer Society, 1999. [doi]
Abstract is missing.