Untitled2012-02-010 PRE AI EEugene H. Spafford DOI:10.1016/j.cose.2011.12.009OriginalOriginal request for helpShareSaveAbstract En