Untitled2011-09-010 PRE AI EEugene H. Spafford * DOI:10.1016/j.cose.2011.06.004OriginalOriginal request for helpShareSaveAbstract En