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.

Abstract

Abstract is missing.