Diwaker Gupta Kashi Venkatesh Vishwanath Amin Vahdat DieCast: Testing Distributed Systems with an Accurate Scale Model. 407-422 2008 NSDI http://www.usenix.org/events/nsdi08/tech/full_papers/gupta/gupta.pdf conf/nsdi/2008 db/conf/nsdi/nsdi2008.html#GuptaVV08