@article{10613,
  author = {Lionel Briand and Yvan Labiche and H. Sun},
  title = {Investigating the Use of Analysis Contracts to Improve the Testability of Object Oriented Code},
  year = {2003},
  journal = {Software: Practice and Experience},
  volume = {33},
  number = {7},
}