Behrouz Tork Ladani, Baptiste Alcalde, Ana R. Cavalli. Passive Testing - A Constrained Invariant Checking Approach. In Ferhat Khendek, Rachida Dssouli, editors, Testing of Communicating Systems, 17th IFIP TC6/WG 6.1 International Conference, TestCom 2005, Montreal, Canada, May 31 - June 2, 2005, Proceedings. Volume 3502 of Lecture Notes in Computer Science, pages 9-22, Springer, 2005. [doi]
Abstract is missing.