GitHub is home to over 28 million developers working together. Join them to grow your own development teams, manage permissions, and collaborate on projects.
Automatically detect and generate missing assertions for Junit test cases (also known as test amplification)
Descartes supports developers to improve their test suites by reporting weak spots in covered code
Amplify your Configuration tests!
Documentation and general discussions
Maven plugin to handle multi module projects for PiTest
Botsing is a Java framework for crash reproduction. It depends on EvoSuite (http://www.evosuite.org) for code instrumentation.
This repository contains the replication package for the EvoCrash evaluation on the 200 crashes from JCrashPack.
Dummy HELLo world
multiple implementation of test runner
A Java Crash reproduction benchmark
Maven plugin to collect dynamic stats from a Maven project and its test suite
Repositories to keep track of the runs by usecase providers
This repository contains the code of number of plugins for Eclipse that provides GUI clients for STAMP tools. It also contains an update site to install them.
Maven plugin to check if the effects of undetected extreme transformations propagate to observable points.
Gradle plugin for EvoCrash
A testing tool to replace the expected value of assertions to match the current behavior
Jenkins Pipeline Library, including Flaky test detection
Open-science repository containing the output of the Descartes
code for pitest site
A Python library for automatically running experiments with crash reproduction tools in Java.
A PITest test plugin to run test classes generated by EvoSuite
EvoSuite - automated generation of JUnit test suites for Java classes
Jenkins plugin to visualize reports from STAMP tools
Jenkins plugin to run DSpot as a build step
A Maven plugin to inspect and classify methods in a project according to their structure and metadata.
Z3 front-end on object-oriented systems - an Alloy-like modeller, but on an SMT solver!