Investigating the Use of Analysis Contracts to Support Fault Isolation in Object Oriented Code

Investigating the Use of Analysis Contracts to Support Fault Isolation in Object Oriented Code

Authors
L. Briand, Y. Labiche and H. Sun