Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez. Testing Finite State Machines Presenting Stochastic Time and Timeouts. In Katinka Wolter, editor, Formal Methods and Stochastic Models for Performance Evaluation, Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September 27-28, 2007, Proceedings. Volume 4748 of Lecture Notes in Computer Science, pages 97-111, Springer, 2007. [doi]
Abstract is missing.