JMLUnit: The Next Generation

DOI10.1007/978-3-642-18070-5_13zbMath1308.68032OpenAlexW1616208858MaRDI QIDQ3067548

Rinkesh Nagmoti, Daniel M. Zimmerman

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)

Related Items (3)

Formal specification and verification of JDK's identity hash map implementation ⋮ JMLUnit ⋮ Verifying Whiley programs with Boogie

Uses Software

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• How the design of JML accommodates both runtime assertion checking and formal verification
• Symbolic execution and program testing
• Generating Unit Tests from Formal Proofs
• Tools and Algorithms for the Construction and Analysis of Systems

This page was built for publication: JMLUnit: The Next Generation