Constructing automated protocol testing oracles to accommodate specification nondeterminism.

J. Jenny Li, Hong Liu, Rudolph E. Seviora

Browse the full ICCCN paper archive.