Efficient verification of IT change operations or: How we could have prevented Amazon's cloud outage.

Sebastian Hagen, Michael Seibold, Alfons Kemper

Browse the full NOMS paper archive.