OceanStore An Architecture for Global-scale Persistent Storage By John Kubiatowicz, David Bindel, Yan Chen, Steven Czerwinski, Patrick Eaton, Dennis Geels,
Survey of Validation Methods in Autonomic Computing Systems Ronald Stevens and Brittany Parsons June 15, 2006 REU sponsored by NSF.