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

Lionel C. Briand, Yvan Labiche, Hong Sun

Browse the full ISSTA paper archive.