Investigating the use of analysis contracts to support fault isolation in object oriented code
- 1 July 2002
- conference paper
- conference paper
- Published by Association for Computing Machinery (ACM) in ACM SIGSOFT Software Engineering Notes
- Vol. 27 (4), 70-80
- https://doi.org/10.1145/566172.566183
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Reliable objects: lightweight testing for oo languagesIEEE Software, 2001
- A practical approach to programming with assertionsIEEE Transactions on Software Engineering, 1995
- Applying 'design by contract'Computer, 1992
- A fortran language system for mutation‐based software testingSoftware: Practice and Experience, 1991
- The category-partition method for specifying and generating fuctional testsCommunications of the ACM, 1988