Botsing is a Java framework for crash reproduction. It depends on EvoSuite (http://www.evosuite.org) for code instrumentation.
☆33Jan 19, 2023Updated 3 years ago
Alternatives and similar repositories for botsing
Users that are interested in botsing are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Automatically detect and generate missing assertions for Junit test cases (also known as test amplification)☆119Aug 7, 2024Updated last year
- Artifact repository for the paper "Perfect Is the Enemy of Test Oracle", In Proceedings of The 30th ACM Joint European Software Engineeri…☆11May 4, 2023Updated 2 years ago
- TestSpark - a plugin for generating unit tests. TestSpark natively integrates different AI-based test generation tools and techniques in …☆86Feb 7, 2026Updated 2 months ago
- A Cucumber-JVM Test Automation Example Project for Java 8☆12Oct 23, 2017Updated 8 years ago
- junit tools contest infrastructure☆13Feb 9, 2024Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- ☆15Dec 16, 2025Updated 3 months ago
- ☆23Nov 22, 2023Updated 2 years ago
- Replication package of a paper "Large Language Models are Few-shot Testers: Exploring LLM-based General Bug Reproduction"☆27Sep 7, 2023Updated 2 years ago
- Open Quality Model and Tool Support for Quality Modelling and Evaluation☆11Jun 6, 2018Updated 7 years ago
- This is the repo for an incremental pointer analysis for Java programs. This repo has been adopted by WALA☆24Feb 13, 2023Updated 3 years ago
- A mutation tool for source and IR☆13Sep 6, 2018Updated 7 years ago
- Tool for algorithmic complexity analysis based on symbolic execution☆10Sep 17, 2018Updated 7 years ago
- A dynamic method for detecting faults in incremental and parallel builds.☆18Jul 27, 2022Updated 3 years ago
- Data-flow testing coverage for Java☆18Mar 27, 2024Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ⚙️ Program slicer based on the Mozilla Lithium Tool for Java (also dubbed as Tandem-FL).☆11Oct 21, 2024Updated last year
- COVA - A static analysis tool to compute path conditions☆40Mar 2, 2026Updated last month
- The repository for the Code Review Open Platform (CROP)☆13Apr 29, 2018Updated 7 years ago
- Artifact of a paper “Fonte: Finding Bug Inducing Commits From Failures” (ICSE'23)☆13Mar 13, 2024Updated 2 years ago
- Turn -XX:+TraceBytecodes output into a FlameGraph compatible stack format☆45Sep 22, 2025Updated 6 months ago
- An implementation of sparse-value flow analysis on top of soot (using Scala)☆10Dec 12, 2024Updated last year
- ☆26Dec 27, 2025Updated 3 months ago
- Set of PyTorch modules for developing and evaluating different algorithms for embedding trees.☆22Dec 22, 2021Updated 4 years ago
- DC Motor and Linear Encoder based 3D printer platform☆15Feb 16, 2015Updated 11 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- IntelliJ & Eclipse plugin for monitoring how Java applications are developed and tested☆19Oct 17, 2018Updated 7 years ago
- static taint analysis of hybrid Android Apps (Java + HTML)☆13Jan 9, 2022Updated 4 years ago
- RAML compiler and documentation generator☆15Aug 30, 2014Updated 11 years ago
- methods2test is a supervised dataset consisting of Test Cases and their corresponding Focal Methods from a set of Java software repositor…☆172Dec 4, 2023Updated 2 years ago
- Cross platform HTML formatter for all implementations of Cucumber☆40Jun 11, 2019Updated 6 years ago
- Some very bad 'legacy' code to use as practise☆11Apr 15, 2024Updated last year
- Improving IR-Based Bug Localization with Context-Aware Query Reformulation☆22Jan 20, 2021Updated 5 years ago
- An experiment to explore a new way to handle business exceptions in Java☆11Aug 10, 2016Updated 9 years ago
- Docker Machine driver for the Grid'5000 testbed infrastructure.☆13Dec 3, 2025Updated 4 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ☆17Oct 30, 2023Updated 2 years ago
- `mllint` is a command-line utility to evaluate the technical quality of Python Machine Learning (ML) projects by means of static analysis…☆80Jun 20, 2022Updated 3 years ago
- Tools used to create the data on TravisTorrent (http://travistorrent.testroots.org).☆43Jan 18, 2023Updated 3 years ago
- A web app for exploring Bus Factor of GitHub projects by analyzing the commit history.☆22Oct 24, 2025Updated 5 months ago
- DevHub is a software system designed to give students a simple practical introduction into modern software development.☆15Jul 17, 2017Updated 8 years ago
- ☆23Feb 19, 2026Updated last month
- 程序代码相似度检测方法研究及应用☆12Feb 7, 2020Updated 6 years ago