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]

Possibly Related Publications

The following publications are possibly variants of this publication: