☆12Mar 24, 2023Updated 3 years ago
Alternatives and similar repositories for DeepMutation
Users that are interested in DeepMutation are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A mutation tool for source and IR☆13Sep 6, 2018Updated 8 years ago
- Chasten Uses XML and XPATH to Check a Python Program's AST for Specified Patterns!☆10Feb 7, 2024Updated 2 years ago
- ☆18Aug 11, 2022Updated 4 years ago
- DiffSearch is a search engine for code changes. The input is a query that describes a code change and the output is a list of matching co…☆20Feb 9, 2024Updated 2 years ago
- Developed with the UROP, Detecting Deep Learning Software Defects (Spring 2019), HKUST☆25Dec 24, 2020Updated 5 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆12Jun 9, 2023Updated 3 years ago
- ☆15Jan 23, 2020Updated 6 years ago
- FLACOCO: Fault Localization for Java based on Industry-grade Coverage http://arxiv.org/pdf/2111.12513☆38Updated this week
- An Extensible Java Bug Benchmark for Automatic Program Repair Studies☆38Mar 4, 2024Updated 2 years ago
- Leaderboard of Frontier Models for Program Repair https://repairbench.github.io/☆11Oct 26, 2025Updated last year
- ☆33Updated this week
- Template structure for a new paper written in Latex, including advice on how to write each section and format various aspects like figure…☆15Mar 9, 2026Updated 7 months ago
- ☆14Nov 1, 2021Updated 4 years ago
- LLM agent to automatically set up arbitrary projects and run their test suites☆73Sep 4, 2026Updated last month
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Benchmark for evaluating Coq proof search tools.☆12Apr 27, 2026Updated 6 months ago
- Java Mutation Testing Framework Written in Python☆24May 31, 2026Updated 4 months ago
- A minimal example package running ollama on baskerville.☆11Nov 8, 2024Updated last year
- A multi-lingual program repair benchmark set based on the Quixey Challenge☆146Aug 29, 2022Updated 4 years ago
- InvCon: A Dynamic Invariant Detector for Ethereum Smart Contracts!☆17May 31, 2022Updated 4 years ago
- pLiner is a framework that helps programmers identify locations in the source of numerical code that are highly affected by compiler opti…☆17Oct 27, 2023Updated 3 years ago
- Python General Framework for Genetic Improvement [Version 2]☆30Nov 28, 2023Updated 2 years ago
- ☆11May 18, 2024Updated 2 years ago
- LLM-based mutation testing☆17Feb 3, 2025Updated last year
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Bugs.jar: A Large-scale, Diverse Dataset of Bugs for Java Program Repair☆63Feb 7, 2018Updated 8 years ago
- A Python package for creating UpSet plots using Plotly☆35Mar 11, 2024Updated 2 years ago
- Img_retriveler，基于SIFT，BoW实现图像检索☆11May 30, 2020Updated 6 years ago
- ☆17Oct 30, 2023Updated 3 years ago
- MATE Automated Android Testing Tool☆18Sep 12, 2024Updated 2 years ago
- This repository is for the paper of ICSE 2023: Regression Fuzzing for Deep Learning Systems☆11Feb 21, 2024Updated 2 years ago
- A web application where students drop their projects to check for correctness and quality.☆32Updated this week
- Mutation Test Tool for Solidity☆17Jun 17, 2022Updated 4 years ago
- Multiaccuracy: Black-Box Post-Processing for Fairness in Classification☆10May 1, 2024Updated 2 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Fairness-Aware Representation Learning by Suppressing Attribute-Class Associations☆13Mar 19, 2026Updated 7 months ago
- ☆29Mar 25, 2021Updated 5 years ago
- Mutation-based Fault Localization of Deep Neural Networks☆10Jan 25, 2024Updated 2 years ago
- Sample audio and video files for the YouTube Video Tutorials on HTML5 Audio and Video☆16Mar 4, 2021Updated 5 years ago
- Bias Mimicking: A simple sampling approach for Bias Mitigation (CVPR 23)☆14Aug 6, 2023Updated 3 years ago
- new repository for the LLMorpheus project☆18Jul 29, 2026Updated 3 months ago
- This is the dataset for our TSE paper "Defining Smart Contracts Defects on Ethereum"☆18Dec 28, 2024Updated last year