Arun N. Netravali, Krishan K. Sabnani, Ramesh Viswanathan. Correct Passive Testing Algorithms and Complete Fault Coverage. In Hartmut König, Monika Heiner, Adam Wolisz, editors, Formal Techniques for Networked and Distributed Systems - FORTE 2003, 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29 - October 2, 2003, Proceedings. Volume 2767 of Lecture Notes in Computer Science, pages 303-318, Springer, 2003. [doi]
Abstract is missing.