1. Deux: Autonomic Testing System for Operating System Upgrades Wu, Leon L.; Kaiser, Gail E.; Nieh, Jason; Murphy, Christian 2008 Reports Computer science