A Logic for Assessing Sets of Heterogeneous Testing Hypotheses

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]

Authors

Ismael Rodríguez

This author has not been identified. Look up 'Ismael Rodríguez' in Google

Mercedes G. Merayo

This author has not been identified. Look up 'Mercedes G. Merayo' in Google

Manuel Núñez

This author has not been identified. Look up 'Manuel Núñez' in Google