Memory consistency model checking and test generation library.
-
Updated
Oct 14, 2016 - C++
Memory consistency model checking and test generation library.
Testsaz is a fast, minimal test-case generator system for ICPC style and IOI style problems.
Symbolic execution engine for .NET Core
Tool that generates unit test by C/C++ source code, trying to reach all branches and maximize code coverage
Add a description, image, and links to the test-generation topic page so that developers can more easily learn about it.
To associate your repository with the test-generation topic, visit your repo's landing page and select "manage topics."