JUnit
From MaRDI portal
Software:19311
swMATH7262MaRDI QIDQ19311FDOQ19311
Author name not available (Why is that?)
Cited In (15)
- Verifying Whiley programs with Boogie
- OAR lib: an open source arc routing library
- Tools and Algorithms for the Construction and Analysis of Systems
- JMLUnit: The Next Generation
- Functional Testing in the Focal Environment
- Title not available (Why is that?)
- How the design of JML accommodates both runtime assertion checking and formal verification
- Title not available (Why is that?)
- Cibai: An Abstract Interpretation-Based Static Analyzer for Modular Analysis and Verification of Java Classes
- Algorithm 972
- Introducing complexity to formal testing
- Verifying data- and control-oriented properties combining static and runtime verification: theory and tools
- Grade/CPN: A Tool and Temporal Logic for Testing Colored Petri Net Models in Teaching
- Title not available (Why is that?)
- Generating Unit Tests from Formal Proofs
This page was built for software: JUnit
