Investigating the use of analysis contracts to improve the testability of object-oriented code

Lionel C. Briand, Yvan Labiche, Hong Sun. Investigating the use of analysis contracts to improve the testability of object-oriented code. Software: Practice and Experience, 33(7):637-672, 2003.

@article{BriandLS03,
  title = {Investigating the use of analysis contracts to improve the testability of object-oriented code},
  author = {Lionel C. Briand and Yvan Labiche and Hong Sun},
  year = {2003},
  tags = {contracts, testing, analysis, C++},
  researchr = {https://researchr.org/publication/BriandLS03},
  cites = {0},
  citedby = {0},
  journal = {Software: Practice and Experience},
  volume = {33},
  number = {7},
  pages = {637-672},
}