JMLUnit: the next generation

DOI10.1007/978-3-642-18070-5_13MaRDI QIDQ3067548zbMATH OpenOpenAlexFDO

Authors Daniel M. Zimmerman, Rinkesh Nagmoti

Publication date 21 January 2011

Published in Formal Verification of Object-Oriented Software (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-18070-5_13

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• scientific article; zbMATH DE number 1929886
• Automatic test case generation using interval arithmetic
• Generating Unit Tests from Formal Proofs
• scientific article; zbMATH DE number 2089386
• Tools and Algorithms for the Construction and Analysis of Systems

Cites work

• Generating Unit Tests from Formal Proofs
• How the design of JML accommodates both runtime assertion checking and formal verification
• scientific article; zbMATH DE number 2089386 (Why is no real title available?)
• scientific article; zbMATH DE number 49427 (Why is no real title available?)
• scientific article; zbMATH DE number 2090131 (Why is no real title available?)
• Symbolic execution and program testing
• Tools and Algorithms for the Construction and Analysis of Systems

Cited in

(11)

• JMLUnit
• Verifying Whiley programs with Boogie
• Formal specification and verification of JDK's identity hash map implementation
• scientific article; zbMATH DE number 2089386 (Why is no real title available?)
• A state space reduction unit testing framework based on generated proxy objects
• Generating tests by example
• A framework for table driven testing of Java classes
• scientific article; zbMATH DE number 5274773 (Why is no real title available?)
• Generating Unit Tests from Formal Proofs
• Tools and Algorithms for the Construction and Analysis of Systems
• Formal specification and verification of JDK's identity hash map implementation

Describes a project that uses

Uses Software

• JML
• UniTESK
• JUnit
• HOL-TestGen
• Eiffel

This page was built for publication: JMLUnit: the next generation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3067548)