Evaluating multiagent systems: a record/replay approach | IEEE Conference Publication | IEEE Xplore