Zacharias Tsiatsoulis, John Yiannis Cotronis, Evangelos Floros. Testing and debugging message passing applications based on the synergy of program and specification executions. In Proceedings of the Seventh Euromicro Workshop on Parallel and Distributed Processing. PDP'99, University of Madeira, Funchal, Portugal, February 3-5, 1999. pages 196-203, IEEE, 1999. [doi]
Abstract is missing.