JUnit
Unit testing framework for Java and the JVM
HOL-TestGen
Specification-based test case generator built on Isabelle/HOL
Tool overview
HOL-TestGen is a test case generator for specification-based unit testing, built on the Isabelle theorem prover. Test specifications are written in higher-order logic; the tool partitions the input space into abstract test cases, selects concrete test data and generates test scripts.
HOL-TestGen is distributed under a BSD licence. The project page marks it as archived; the latest version, 1.9.1, dates from 2017.
Useful links
Official website
Screenshots & video
Community reviews
Login to Write Your ReviewThere are no reviews yet.
Source & attribution
Original contributor
Jean-Baptiste CROUIGNEAU
Original listing URL
External references
https://logicalhacking.com/software/hol-testgen/
CMock
Mock and stub generator for unit testing C code
TestDriven.NET
Visual Studio extension to run unit tests in one click
insta
Snapshot testing library for Rust
Robolectric
Unit testing framework for Android
utPLSQL
Unit testing framework for Oracle PL/SQL