CAI Xia - CSA, Dissertation Abstracts International, 2006 - Citeseer
Software permeates our modern society, and its complexity and criticality is ever increasing.
Thus the capability to tolerate software faults, particularly for critical applications, is evident …