Constructing automated protocol testing oracles to accommodate specification nondeterminism | IEEE Conference Publication | IEEE Xplore