Dec 7: In addition to modelling database behaviour, it is important to produce relevant and realistic testing scenarios. System upgrades are generally something overlooked during testing, which means that upgrades are going to be causing most operational pain. This paper introduces Distributed System Upgrade Tester, and explores upgrade failures in a number of distributed systems: "Understanding and Detecting Software Upgrade Failures in Distributed Systems"