Testing nondeterministic message-passing programs with NOPE

• Authors:

• Dieter Kranzlmüller

• Affiliations:

• GUP Linz, Johannes Kepler University Linz, Altenbergerstr. 69, A-4040 Linz, Austria/Europe

• Venue:
• SPDT '98 Proceedings of the SIGMETRICS symposium on Parallel and distributed tools
• Year:
• 1998