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

No abstract is available for this paper.

• Publication year

  2002

• Venue

  European Conference on Object-Oriented Programming

• Publication date

  2002-06-10

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1007/3-540-47993-7_10
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Software Architecture

  2020cited by this paper
• An overview of JML tools and applications

  2003cited by this paper
• A Runtime Assertion Checker for the Java Modeling Language (JML)

  2003cited by this paper
• Extreme Programming Explained

  2002cited by this paper
• The .NET Contract Wizard: adding Design by Contract to languages other than Eiffel

  2001cited by this paper
• Simple support for design by contract in C++

  2001cited by this paper
• Jass - Java with Assertions

  2001cited by this paper
• A Logic for the Java Modeling Language JML

  2001cited by this paper
• Behavioral Interface Contracts for Java

  2000cited by this paper
• Test-infected: programmers love writing tests

  2000cited by this paper
• A Run-time Assertion Checker for Java using JML

  2000cited by this paper
• Contracts: from analysis to C++ implementation

  1999cited by this paper
• Enhancing the Pre- and Postcondition Technique for More Expressive Specifications

  1999cited by this paper
• jContractor: A Reflective Java Library to Support Design by Contract

  1999cited by this paper
• JML: A Notation for Detailed Design

  1999cited by this paper
• Automated regression test generation

  1998cited by this paper
• An Exception-Based Assertion Mechanism for C++

  1998cited by this paper
• Adding Contracts to Java with Handshake

  1998cited by this paper
• iContract - The Java(tm) Design by Contract(tm) Tool

  1998cited by this paper
• Extended static checking

  1998cited by this paper
• Structural specification-based testing with ADL

  1996cited by this paper
• Issues in the full scale use of formal methods for automated testing

  1996cited by this paper
• Design by Contract in Smalltalk

  1996cited by this paper
• GENERATING A TEST ORACLE FROM PROGRAM DOCUMENTATION

  1995cited by this paper
• Class Assertions in C++

  1995cited by this paper
• ANTLR: A predicated‐LL(k) parser generator

  1995cited by this paper
• A Practical Approach to Programming With Assertions

  1995cited by this paper
• A behavioral notion of subtyping

  1994cited by this paper
• TAOS: Testing with Analysis and Oracle Support

  1994cited by this paper
• ADL—an interface definition language for specifying and testing software

  1994cited by this paper
• Automatic Analysis and Test Case Derivation for a Restricted Class of LOTOS Expressions with Data Parameters

  1994cited by this paper
• Generating a test oracle from program documentation: work in progress

  1994cited by this paper
• Test template framework: a specification-based testing case study

  1993influential reference
• A Logical Approach to Discrete Math

  1993cited by this paper
• Larch: Languages and Tools for Formal Specification

  1993cited by this paper
• Specifications and their use in defining subtypes

  1993cited by this paper
• Applying 'design by contract'

  1992cited by this paper
• Specification and Testing of Abstract Data Types

  1992cited by this paper
• CCEL: A Metalanguage for C++

  1992cited by this paper
• Software testing based on formal specifications: a theory and a tool

  1991cited by this paper
• Extreme programming explained - embrace change

  1990cited by this paper
• 物件導向軟體之架構(Object-Oriented Software Construction)探討

  1989influential reference
• Systematic software development using VDM

  1986cited by this paper
• Automatic Software Test Drivers

  1978cited by this paper
• Testing Programs with the Aid of a Compiler

  1977cited by this paper
• A Discipline of Programming

  1976cited by this paper

• MutDafny: A Mutation-Based Approach to Assess Dafny Specifications

  2025cites this paper
• Collusive and adversarial replication

  2025cites this paper
• Automated property-based testing from AADL component contracts

  2025cites this paper
• Assertions in software testing: survey, landscape, and trends

  2025cites this paper
• Tratto: A Neuro-Symbolic Approach to Deriving Axiomatic Test Oracles

  2025cites this paper
• Test Early: An Approach to Introduce Younger Students to Unit Testing with Graphical Comparison in Scratch

  2025cites this paper
• An Empirical Study on Automated Test Generation Tools for Java: Effectiveness and Challenges

  2024cites this paper
• A Case For Reflection In Autograding

  2024cites this paper
• Constructive Assertions with Abstract Models

  2024cites this paper
• Toward Using Fuzzers and Lightweight Specifications to Reveal Semantic Bugs

  2024influential citation
• Intelligent gloves: An IT intervention for deaf-mute people

  2023cites this paper
• A Literature Survey of Assertions in Software Testing

  2023cites this paper
• DAnTE: a taxonomy for the automation degree of software engineering tasks

  2023cites this paper
• JMLKelinci+: Detecting Semantic Bugs and Covering Branches with Valid Inputs Using Coverage-guided Fuzzing and Runtime Assertion Checking

  2023cites this paper
• Studying the Impact of Auto-Graders Giving Immediate Feedback in Programming Assignments

  2023cites this paper
• Improving students' code correctness and test completeness by informal specifications

  2023cites this paper
• Perfect is the enemy of test oracle

  2022cites this paper
• Verifying Whiley Programs with Boogie

  2022cites this paper
• The Impact of using a Contract-Driven, Test-Interceptor based Software Development Approach

  2022cites this paper
• Flaky Test Sanitisation via On-the-Fly Assumption Inference for Tests with Network Dependencies

  2022cites this paper
• Investigating Software Testability and Test cases Effectiveness

  2022cites this paper
• A failed proof can yield a useful test

  2022cites this paper
• Automated Testing of Data Survivability and Restorability

  2021cites this paper
• Naming Amplified Tests Based on Improved Coverage

  2021cites this paper
• aSIT: An Interface-oriented Distributed Automated Test System

  2021cites this paper
• A Cloud-based Robot System for Long-term Interaction: Principles, Implementation, Lessons Learned

  2021cites this paper
• Using a Guided Fuzzer and Preconditions to Achieve Branch Coverage with Valid Inputs

  2021cites this paper
• Finding Bugs with Specification-Based Testing is Easy!

  2021influential citation
• Putting the semantics into semantic versioning

  2020cites this paper
• Automating regression testing on fat clients

  2020cites this paper
• Test Strategies for Blockchain Technology

  2020cites this paper
• Graph Transformation for Software Engineers: With Applications to Model-Based Development and Domain-Specific Language Engineering

  2020cites this paper
• Unit Lemmas for Detecting Requirement and Specification Flaws

  2020cites this paper
• Introducing complexity to formal testing

  2020cites this paper
• Automated construction of energy test oracles for Android

  2020cites this paper
• Design and validation of a C++ code generator from Abstract State Machines specifications

  2019cites this paper
• Unformatted, Certified Scientific Objects

  2019cites this paper
• Applying Continuous Integration for Increasing the Maintenance Quality and Efficiency of Web App

  2019cites this paper
• Interactive Runtime Verification: Formal Models, Algorithms, and Implementation

  2019cites this paper
• Test case generation for Symbolic Distributed System Models : Application to Trickle based IoT Protocol (Génération de cas de test pour les modèles symboliques de système distribués : Application au protocole IoT à base de Trickle)

  2019cites this paper
• Bachelor End Project

  2019cites this paper
• Java reflection API: revealing the dark side of the mirror

  2019cites this paper
• Behavior Driven Development: Tools and Challenges

  2018cites this paper
• Translating code comments to procedure specifications

  2018cites this paper
• Generation of C++ Unit Tests from Abstract State Machines Specifications

  2018cites this paper
• Automating test oracles generation

  2018cites this paper
• An Approach to Automatic Test Case Generation for Unit Testing

  2018cites this paper
• Test-Based Clone Detection: an Initial Try on Semantically Equivalent Methods

  2018cites this paper
• Specification-Based Testing in Software Engineering Courses

  2018influential citation
• A study of GUI based technologies in e-commerce applications

  2018cites this paper
• Testing Software and Systems: 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings

  2018cites this paper
• JMCTest: Automatically Testing Inter-Method Contracts in Java

  2018cites this paper
• Contract-based testing for PHP with Praspel

  2018cites this paper
• An Optimized Adaptive Random Partition Software Testing by Using Bacterial Foraging Algorithm

  2018cites this paper
• Unit Testing in Global Software Development Environment

  2017cites this paper
• Automatic test data generation based on multi-objective ant lion optimization algorithm

  2017cites this paper
• Methods for enhancing the reproducibility of biomedical research findings using electronic health records

  2017cites this paper
• Conformance test development with the Java modeling language

  2017cites this paper
• Visual Specification and Analysis of Contract-Based Software Architectures

  2017cites this paper
• Radboud Repository of the Radboud University Nijmegen

  2017cites this paper
• Visualizing Execution Models and Testing Results

  2017cites this paper
• Contracts in the Wild: A Study of Java Programs (Artifact)

  2017cites this paper
• Interactive Runtime Verification

  2017cites this paper
• Interactive Runtime Verification — A Ph.D to Improve Bug Detection and Understanding

  2017cites this paper
• Yevgen Zinchenko Big Data and Google Cloud Platform Usage to Create Interactive Reports

  2017cites this paper
• SPEST - A TOOL FOR SPECIFICATION-BASED TESTING

  2016cites this paper
• Specifying a Global Optimization Solver in Z

  2016cites this paper
• Recent Advances in Model-Based Testing

  2016cites this paper
• A Study on Software Testability and the Quality of Testing in Object-Oriented Systems

  2016influential citation
• An Effective Approach for Designing Suitable Test Cases for Small Laboratory Program: An Article

  2016cites this paper
• Automatic generation of oracles for exceptional behaviors

  2016cites this paper
• Making Formal Methods More Relevant to Software Engineering Students via Automated Test Generation

  2016cites this paper
• Model-based Testing of Mobile Systems - An Empirical Study on QuizUp Android App

  2016cites this paper
• An empirical study of test generation with BETA

  2016cites this paper
• Maintenance of automated test suites in industry: An empirical study on Visual GUI Testing

  2016cites this paper
• Testing Strategies to Support Continuous Integration for Complex Systems

  2016cites this paper
• Calculation coverage testing in scientific applications

  2015cites this paper
• Thesis for The Degree of Doctor of Philosophy Visual GUI Testing : Automating High-Level Software Testing in Industrial Practice

  2015cites this paper
• Framework for Enhancing the Performance of Unit Testing in Java Based Projects

  2015influential citation
• Visual GUI testing in practice: challenges, problemsand limitations

  2015cites this paper
• Automatic Generation of Specification-Based Test Cases by Applying Genetic Algorithms in Reinforcement Learning

  2015cites this paper
• Agent based modelling of a single-stock market on the JSE

  2015cites this paper
• Combining Dynamic Analysis and Visualization to Explore the Distribution of Unit Test Suites

  2015cites this paper
• A fine-grained approach towards asynchronous service composition of heterogeneous services

  2015cites this paper
• Model-Based Contract Testing of Graphical User Interfaces

  2015cites this paper
• Mapping ACL/VF to a Java Environment: A Feasibility Study

  2015cites this paper
• The Oracle Problem in Software Testing: A Survey

  2015cites this paper
• Improving Unit Testing Practices With the Use of Gamification

  2015cites this paper
• Automated Test Oracles: State of the Art, Taxonomies, and Trends

  2015cites this paper
• A Verification Framework for Streamlining Empirical Auto-Tuning

  2015cites this paper
• Cross-checking oracles from intrinsic software redundancy

  2014cites this paper
• Service Test Automation Framework

  2014cites this paper
• Security and self-healability enforcement of dynamic components in a service-oriented system. (Sécurité et exécution autorétablie des composants dynamiques dans un système axé sur le service)

  2014cites this paper
• A General Testability Theory: Classes, Properties, Complexity, and Testing Reductions

  2014cites this paper
• Praspel: Contract-Driven Testing for PHP using Realistic Domains

  2014cites this paper
• Model-Driven Co-Evolution of Contracts, Unit-Tests and Source-Code-Proposal for Master's Thesis – Advisors: Max Kramer, Michael Langhammer, Erik Burger Supervisors: Prof. Dr. Ralf Reussner, Jun.-Prof. Dr.-Ing. Anne Koziolek

  2014cites this paper
• Case studies and tools for contract specifications

  2014cites this paper
• Applying GA with Tabu list for Automatically Generating Test Cases Based on Formal Specification

  2014cites this paper
• A Safety-Critical Java Technology Compatibility Kit

  2014cites this paper
• A design-by-contract based approach for architectural modelling and analysis

  2014cites this paper