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: over 8 years ago
Linked from 2 awesome lists


Backlinks from these awesome lists:

Related projects:

RepositoryDescriptionStars
osl/jcuteAutomatically generates unit tests for Java programs by combining randomized concrete execution with symbolic execution and constraint solving.88
chbatey/kafka-unitAllows developers to test Kafka applications in isolation with a simple setup and teardown process.174
google/compile-testingTools and utilities for verifying Java compiler output701
julianschuette/condroidA tool that performs symbolic and concrete execution of Android apps to analyze behavior at specific code locations56
confluentinc/confluent-sigmaA tool for analyzing and visualizing log events using structured rules53
rahulsinghai/jmeter-backend-listener-kafkaEnables sending JMeter test results to a Kafka server.30
agourlay/cornichonA testing tool for JSON APIs written in Scala228
for-get/kattAn HTTP-based testing tool for validating API responses in Erlang119
hcoles/pitestAn automated testing tool designed to detect faults in software code by introducing random errors and observing the impact on test results1,707
njpatel/grpccA command-line tool for testing gRPC APIs with automatic reconnect and pretty-printing capabilities.1,131
ctco/cukesA Cucumber-based testing framework for RESTful APIs113
mttkay/calculonA testing DSL for Android views and activities147
jstepien/mutantA tool that helps ensure Clojure code is robust by introducing artificial defects and testing its reliability103
kazucocoa/droidtesthelperAn Android testing application that allows administrators to set various settings using ADB broadcasts.14
kubernauts/jmeter-kubernetesA tool for running load testing with Apache JMeter on Kubernetes364