Decomposing Partial Order Execution Graphs to Improve Message Race Detection

Basile Schaeli, Sebastian Gerlach, Roger D. Hersch. Decomposing Partial Order Execution Graphs to Improve Message Race Detection. In 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), Proceedings, 26-30 March 2007, Long Beach, California, USA. pages 1-8, IEEE, 2007. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.