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