Automatic AI-powered test suite generator
☆112Apr 5, 2026Updated 3 months ago
Alternatives and similar repositories for coverup
Users that are interested in coverup are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- MutAP: A prompt_based learning technique to automatically generate test cases with Large Language Model☆57Mar 7, 2025Updated last year
- ☆13Sep 12, 2024Updated last year
- ☆160May 27, 2025Updated last year
- Replication package of the ICSE2025 paper titled "Leveraging Large Language Models for Enhancing the Understandability of Generated Unit …☆11Feb 19, 2025Updated last year
- ☆36Jan 27, 2025Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆171Jul 25, 2025Updated 11 months ago
- Evaluation code of ASE24 accepted paper "On the Evaluation of LLM in Unit Test Generation"☆13Dec 9, 2024Updated last year
- [ISSTA'24] A Large-Scale Dataset Capable of Enhancing the Prowess of Large Language Models for Program Testing☆12Jan 7, 2025Updated last year
- ICSE 2025: Fuzzing MLIR compilers with Custom Mutation Synthesis☆15Jul 22, 2025Updated 11 months ago
- A Fast Floating-Point Satisfiability Solver☆31Jul 26, 2025Updated 11 months ago
- For our ISSTA'23 paper ACETest: Automated Constraint Extraction for Testing Deep Learning Operators☆17Apr 28, 2026Updated 2 months ago
- ☆72Mar 19, 2026Updated 4 months ago
- No More Manual Tests? Evaluating and Improving ChatGPT for Unit Test Generation☆19Jun 28, 2023Updated 3 years ago
- This is the repository for the paper Static Prediction of Runtime Errors by Learning to Execute Programs with External Resource Descripti…☆25Nov 18, 2022Updated 3 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- KernelFaRer: Replacing Native-Code Idioms with High-Performance Library Calls☆13Sep 7, 2025Updated 10 months ago
- A Lean-embedded framework to verify Verilog modules☆15Jul 3, 2026Updated 2 weeks ago
- LLM-based approach to find regression bugs. It checks the behavioral changes introduced by a pull request against its title, description,…☆17Mar 12, 2026Updated 4 months ago
- Improving Machine Translation Systems via Isotopic Replacement☆12Apr 14, 2023Updated 3 years ago
- ☆33Jun 12, 2023Updated 3 years ago
- ☆13Nov 20, 2024Updated last year
- methods2test is a supervised dataset consisting of Test Cases and their corresponding Focal Methods from a set of Java software repositor…☆173Dec 4, 2023Updated 2 years ago
- Artifact for ESEC/FSE'23 paper "NeuRI: Diversifying DNN Generation via Inductive Rule Inference"☆33Nov 13, 2023Updated 2 years ago
- For our ISSTA22 paper "DocTer: Documentation-Guided Fuzzing for Testing Deep Learning API Functions" by Danning Xie, Yitong Li, Mijung Ki…☆38Jul 19, 2022Updated 4 years 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.
- Real-time multi-language unit test generation tool via LSP☆42May 14, 2026Updated 2 months ago
- code for "Implant Global and Local Hierarchy Information to Sequence based Code Representation Models"☆12Dec 13, 2024Updated last year
- Type inference provider using mypy for LibCST!☆13May 3, 2023Updated 3 years ago
- A tool for cross-checking Verilog compilers☆15Apr 16, 2025Updated last year
- BugsInPy: Benchmarking Bugs in Python Projects☆148Feb 10, 2026Updated 5 months ago
- GenCoG: A DSL-Based Approach to Generating Computation Graphs for TVM Testing (ISSTA‘23)☆17Jul 19, 2023Updated 3 years ago
- ☆44Jun 24, 2025Updated last year
- [NeurIPS 2024] Self-Optimization Improves the Efficiency of Code Generation☆15May 10, 2025Updated last year
- TeCo: an ML+Execution model for test completion☆31Jun 16, 2024Updated 2 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- The prototype tool of a JML generation technique (paper accepted in ICSE'25) for Java programs.☆20Dec 24, 2025Updated 6 months ago
- Agent skill management CLI☆22Apr 1, 2026Updated 3 months ago
- Compiler backend☆15Updated this week
- ☆17Mar 9, 2026Updated 4 months ago
- Semantic model for aspects of ELF static linking and DWARF debug information☆58Jul 20, 2025Updated last year
- Agent-OM: Leveraging LLM Agents for Ontology Matching☆22May 2, 2026Updated 2 months ago
- For our ICSE22 paper "EAGLE: Creating Equivalent Graphs to Test Deep Learning Libraries" by Jiannan Wang, Thibaud Lutellier, Shangshu Qia…☆13Aug 16, 2023Updated 2 years ago