Investigating the use of analysis contracts to support fault isolation in object oriented code

Lionel C. Briand, Yvan Labiche, Hong Sun. Investigating the use of analysis contracts to support fault isolation in object oriented code. In ISSTA. pages 70-80, 2002. [doi]

Abstract

Abstract is missing.