Coverage Analysis for Message Flows

Neta Aizenbud-Reshef. Coverage Analysis for Message Flows. In 12th International Symposium on Software Reliability Engineering (ISSRE 2001), 27-30 November 2001, Hong Kong, China. pages 276-286, IEEE Computer Society, 2001. [doi]

Authors

Neta Aizenbud-Reshef

This author has not been identified. Look up 'Neta Aizenbud-Reshef' in Google