A Simple and Practical Approach to Unit Testing: The JML and JUnit Way-Reference-Cited by-同舟云学术

A Simple and Practical Approach to Unit Testing: The JML and JUnit Way

Published:2002 Issue: Volume: Page:231-255
ISSN:0302-9743
Container-title:ECOOP 2002 — Object-Oriented Programming
language:
Short-container-title:

Author:

Cheon Yoonsik,Leavens Gary T.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-47993-7_10

Reference38 articles.

1. Karine Arnout and Raphael Simon. The.NET contract wizard: Adding design by contract to languages other than Eiffel. In Proceedings of TOOLS 39, 29 July–3 August 2001, Santa Barbara, California, pages 14–23. IEEE Computer Society, 2001.

2. D. Bartetzko, C. Fischer, M. Moller, and H. Wehrheim. Jass-Java with assertions. In Workshop on Runtime Verification held in conjunction with the 13th Conference on Computer Aided Verification, CAV’01, 2001.

3. Kent Beck and Erich Gamma. Test infected: Programmers love writing tests. Java Report, 3(7), July 1998.

4. Kent Beck. Extreme Programming Explained. Addison-Wesley, 2000.

5. Gilles Bernot, Marie Claude Claudel, and Bruno Marre. Software testing based on formal specifications: a theory and a tool. Software Engineering Journal, 6(6):387–405, November 1991.

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

1. An Empirical Study on Automated Test Generation Tools for Java: Effectiveness and Challenges;Journal of Computer Science and Technology;2024-05

2. DAnTE: A Taxonomy for the Automation Degree of Software Engineering Tasks;Generative AI for Effective Software Development;2024

3. API-Knowledge Aware Search-Based Software Testing: Where, What, and How;Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2023-11-30

4. A Literature Survey of Assertions in Software Testing;Engineering of Computer-Based Systems;2023-11-29

5. A failed proof can yield a useful test;Software Testing, Verification and Reliability;2023-08-31