@misc{9524,
  author = {Lionel Briand and Yvan Labiche and H. Sun},
  title = {Investigating the Use of Analysis Contracts to Support Fault Isolation in Object Oriented Code},
  year = {2002},
  journal = {ACM International Symposium on Software Testing and Analysis (ISSTA)},
  pages = {70-80},
}