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

GitHub

88 stars
13 watching
28 forks
Language: Java
last commit: about 12 years ago

Related projects:

RepositoryDescriptionStars
ksen007/janala2A testing tool for verifying the correctness of Java programs by generating input data and analyzing their execution102
google/compile-testingTools and utilities for verifying Java compiler output701
mttkay/calculonA testing DSL for Android views and activities147
j8spec/j8specLibrary that enables BDD-style testing in Java with features inspired by RSpec and Jasmine.47
hcarty/ocaml-testsimpleA simple unit testing framework for OCaml13
caolan/nodeunitA unit testing framework for Node.js and the browser with simple syntax and powerful tools.1,900
kunitoki/strawAn integration testing framework for C++ applications using JUCE automation3
codeceptjs/uiAn interactive test runner for CodeceptJS that supports various testing engines and allows developers to visualize their tests82
apentle/react-native-babel-jestA testing configuration utility for React Native applications using Jest19
anasoid/jmeter-as-codeEnables writing JMeter tests as code in Java32
jhalterman/concurrentunitA toolkit for testing concurrent and asynchronous code without dependencies420
weld/weld-testingA set of tools to simplify unit testing of CDI components by integrating with a real CDI container102
engineeringsoftware/mcoqAnalyze and test Coq proof assistant projects by generating modified versions of the code to identify flaws in specifications.30
testing-library/svelte-testing-libraryProvides utilities for testing Svelte components with a focus on realistic testing scenarios and good development practices.623
chbatey/kafka-unitAllows developers to test Kafka applications in isolation with a simple setup and teardown process.174