Investigating the use of analysis contracts to improve the testability of object-oriented code-Reference-Cited by-同舟云学术

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

Published:2003 Issue:7 Volume:33 Page:637-672
ISSN:0038-0644
Container-title:Software: Practice and Experience
language:en
Short-container-title:Softw: Pract. Exper.

Author:

Briand L. C.,Labiche Y.,Sun H.

Publisher

Wiley

Subject

Software

Reference25 articles.

1. Software Testing Techniques (2nd edn). Van Nostrand Reinhold: New York, 1990.

2. Testing Object-Oriented Systems?Models, Patterns, and Tools. Addison-Wesley: Reading, MA, 1999.

3. Object-Oriented Development?The Fusion Method. Prentice-Hall: Englewood Cliffs, NJ, 1994.

4. Object-Oriented Software Construction (2nd edn). Prentice-Hall: Englewood Cliffs, NJ, 1997.

5. Applying 'design by contract'

Cited by 30 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Perfect is the enemy of test oracle;Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2022-11-07

2. Automatic Detection of Interaction Errors;2022 IEEE/ACIS 20th International Conference on Software Engineering Research, Management and Applications (SERA);2022-05-25

3. On introducing automatic test case generation in practice: A success story and lessons learned;Journal of Systems and Software;2021-06

4. SAwUML – UML-based, contractual software architectures and their formal analysis using SPIN;Computer Languages, Systems & Structures;2018-12

5. Contract-based testing for PHP with Praspel;Journal of Systems and Software;2018-02