janala2

Concolic tester

A testing tool for verifying the correctness of Java programs by generating input data and analyzing their execution

a concolic testing engine for Java

102 stars

14 watching

34 forks

Language: Java

last commit: over 7 years ago

Linked from 2 awesome lists

Backlinks from these awesome lists:

Related projects:

Repository	Description	Stars
osl/jcute	Automatically generates unit tests for Java programs by combining randomized concrete execution with symbolic execution and constraint solving.	88
chbatey/kafka-unit	Allows developers to test Kafka applications in isolation with a simple setup and teardown process.	174
google/compile-testing	Tools and utilities for verifying Java compiler output	701
julianschuette/condroid	A tool that performs symbolic and concrete execution of Android apps to analyze behavior at specific code locations	56
confluentinc/confluent-sigma	A tool for analyzing and visualizing log events using structured rules	53
rahulsinghai/jmeter-backend-listener-kafka	Enables sending JMeter test results to a Kafka server.	30
agourlay/cornichon	A testing tool for JSON APIs written in Scala	228
for-get/katt	An HTTP-based testing tool for validating API responses in Erlang	119
hcoles/pitest	An automated testing tool designed to detect faults in software code by introducing random errors and observing the impact on test results	1,707
njpatel/grpcc	A command-line tool for testing gRPC APIs with automatic reconnect and pretty-printing capabilities.	1,131
ctco/cukes	A Cucumber-based testing framework for RESTful APIs	113
mttkay/calculon	A testing DSL for Android views and activities	147
jstepien/mutant	A tool that helps ensure Clojure code is robust by introducing artificial defects and testing its reliability	103
kazucocoa/droidtesthelper	An Android testing application that allows administrators to set various settings using ADB broadcasts.	14
kubernauts/jmeter-kubernetes	A tool for running load testing with Apache JMeter on Kubernetes	364