Cited in
(70)- Verifying Whiley programs with Boogie
- OAR lib: an open source arc routing library
- Tools and Algorithms for the Construction and Analysis of Systems
- Functional Testing in the Focal Environment
- How the design of JML accommodates both runtime assertion checking and formal verification
- Algorithm 972: jMarkov: an integrated framework for Markov chain modeling
- JMLUnit
- MARCA
- Jakarta
- POOC
- jContractor
- Symstra
- PhFit
- Daikon
- JML
- QSopt
- UniTESK
- Eclat
- EvoSuite
- Korat
- Rostra
- TestEra
- JACK
- HyperStar
- Jphase
- Grade/CPN
- ITEM ToolKit
- RAM Commander FTA
- JCrasher
- TestNG
- Butools
- mdp
- Ant
- HttpUnit
- JMeter
- JUnitPerf
- MarQ
- StaRVOOrS
- jMarkov
- MDPtoolbox
- MTJ
- PIPE2
- PyMDPtoolbox
- Travis CI
- Cibai
- ASTOR
- Codeflaws
- Defects4J
- Nopol
- Bears
- Bugbench
- Maven
- QuixBugs
- Kotlin
- ArcRoutingLibrary
- Jass
- Trove
- QuickREST
- JaCoCo
- JUGE
- QSYM
- scientific article; zbMATH DE number 2155591 (Why is no real title available?)
- Cibai: An Abstract Interpretation-Based Static Analyzer for Modular Analysis and Verification of Java Classes
- Introducing complexity to formal testing
- Verifying data- and control-oriented properties combining static and runtime verification: theory and tools
- Usage of modular scissors in the implementation of FEM.
- Grade/CPN: A Tool and Temporal Logic for Testing Colored Petri Net Models in Teaching
- JMLUnit: the next generation
- scientific article; zbMATH DE number 1929914 (Why is no real title available?)
- Generating Unit Tests from Formal Proofs
This page was built for software: JUnit
