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 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