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: almost 7 years ago
Linked from 2 awesome lists
akullpp/awesome-java
vedenin/useful-java-linksRelated 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 |