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]
@inproceedings{TsiatsoulisCF99,
title = {Testing and debugging message passing applications based on the synergy of program and specification executions},
author = {Zacharias Tsiatsoulis and John Yiannis Cotronis and Evangelos Floros},
year = {1999},
doi = {10.1109/EMPDP.1999.746668},
url = {http://doi.ieeecomputersociety.org/10.1109/EMPDP.1999.746668},
researchr = {https://researchr.org/publication/TsiatsoulisCF99},
cites = {0},
citedby = {0},
pages = {196-203},
booktitle = {Proceedings of the Seventh Euromicro Workshop on Parallel and Distributed Processing. PDP'99, University of Madeira, Funchal, Portugal, February 3-5, 1999},
publisher = {IEEE},
isbn = {0-7695-0059-5},
}