jcute
Java testing engine
Automatically generates unit tests for Java programs by combining randomized concrete execution with symbolic execution and constraint solving.
Java Concolic Unit Testing Engine
88 stars
13 watching
28 forks
Language: Java
last commit: over 10 years ago Related projects:
| Repository | Description | Stars |
|---|---|---|
 ksen007/janala2 | A testing tool for verifying the correctness of Java programs by generating input data and analyzing their execution | 102 |
 google/compile-testing | Tools and utilities for verifying Java compiler output | 701 |
 mttkay/calculon | A testing DSL for Android views and activities | 147 |
 j8spec/j8spec | Library that enables BDD-style testing in Java with features inspired by RSpec and Jasmine. | 47 |
 hcarty/ocaml-testsimple | A simple unit testing framework for OCaml | 13 |
 caolan/nodeunit | A unit testing framework for Node.js and the browser with simple syntax and powerful tools. | 1,900 |
 kunitoki/straw | An integration testing framework for C++ applications using JUCE automation | 3 |
 codeceptjs/ui | An interactive test runner for CodeceptJS that supports various testing engines and allows developers to visualize their tests | 82 |
 apentle/react-native-babel-jest | A testing configuration utility for React Native applications using Jest | 19 |
 anasoid/jmeter-as-code | Enables writing JMeter tests as code in Java | 32 |
 jhalterman/concurrentunit | A toolkit for testing concurrent and asynchronous code without dependencies | 420 |
 weld/weld-testing | A set of tools to simplify unit testing of CDI components by integrating with a real CDI container | 101 |
 engineeringsoftware/mcoq | Analyze and test Coq proof assistant projects by generating modified versions of the code to identify flaws in specifications. | 30 |
 testing-library/svelte-testing-library | Provides utilities for testing Svelte components with a focus on realistic testing scenarios and good development practices. | 620 |
 chbatey/kafka-unit | Allows developers to test Kafka applications in isolation with a simple setup and teardown process. | 174 |