An Approach to Verification and Validation of a Reliable Multicasting (1996)

by J R Callahan, T L Montgomery
Venue:Protocol,” International Symposium on Software Testing and Analysis (ISSTA’96