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

GitHub

102 stars

14 watching

34 forks

Language: Java

last commit: almost 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	52
rahulsinghai/jmeter-backend-listener-kafka	Enables sending JMeter test results to a Kafka server.	29
agourlay/cornichon	A testing tool for JSON APIs written in Scala	227
for-get/katt	An HTTP-based testing tool for validating API responses in Erlang	119
hcoles/pitest	A mutation testing system for Java that helps identify fragile code	1,700
njpatel/grpcc	A command-line tool for testing gRPC APIs with automatic reconnect and pretty-printing capabilities.	1,130
ctco/cukes	A Cucumber-based testing framework for RESTful APIs	112
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	102
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	363