Using observation and refinement to improve distributed systems test | IEEE Conference Publication | IEEE Xplore