Ismael Rodríguez, Mercedes G. Merayo, Manuel Núñez. A Logic for Assessing Sets of Heterogeneous Testing Hypotheses. In M. Ümit Uyar, Ali Y. Duale, Mariusz A. Fecko, editors, Testing of Communicating Systems, 18th IFIP TC6/WG6.1 International Conference, TestCom 2006, New York, NY, USA, May 16-18, 2006, Proceedings. Volume 3964 of Lecture Notes in Computer Science, pages 39-54, Springer, 2006. [doi]
Abstract is missing.