Automatic AI-powered test suite generator
☆116Apr 5, 2026Updated 6 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:
- Dataset of Codex generated tests for the CodaMosa project☆19Jun 2, 2023Updated 3 years ago
- MutAP: A prompt_based learning technique to automatically generate test cases with Large Language Model☆61Mar 7, 2025Updated last year
- ☆175Jul 25, 2025Updated last year
- ☆14Sep 12, 2024Updated 2 years ago
- Hybrid Program Analysis-Guided Test Generation☆11Jun 15, 2026Updated 4 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- This is an evaluation set for the problem of directed/targeted test input generation. We use it to benchmark the ability of Large Languag…☆34Mar 11, 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
- ☆39Jan 27, 2025Updated last year
- Pythoness: use natural language to define Python functions.☆21Apr 22, 2025Updated last year
- A digital circuit verification library for Lean4☆12Jul 29, 2026Updated 3 months ago
- A toolchain for distributed system runtime checkers☆13May 20, 2025Updated last year
- Evaluation code of ASE24 accepted paper "On the Evaluation of LLM in Unit Test Generation"☆13Dec 9, 2024Updated last year
- ☆27Sep 23, 2024Updated 2 years ago
- Verified Verilog Equivalence checker, written and verified in Coq.☆14Oct 20, 2026Updated last week
- 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.
- ☆22Dec 28, 2024Updated last year
- ☆15Jul 9, 2026Updated 3 months ago
- ICSE 2025: Fuzzing MLIR compilers with Custom Mutation Synthesis☆15Jul 22, 2025Updated last year
- A Fast Floating-Point Satisfiability Solver☆31Jul 26, 2025Updated last year
- An implementation of ChatTester//arxiv.org/abs/2305.04207☆16Nov 25, 2024Updated last year
- ☆20Mar 6, 2023Updated 3 years ago
- Course material for "Automation of Logical Reasoning"☆10May 26, 2025Updated last year
- For our ISSTA'23 paper ACETest: Automated Constraint Extraction for Testing Deep Learning Operators☆17Apr 28, 2026Updated 6 months ago
- ☆13Oct 22, 2025Updated last year
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A DSL for formal verification of hardware and software systems using Rocq/Coq.☆13Updated this week
- ☆73Mar 19, 2026Updated 7 months ago
- [ICSE 2023] Differentiable interpretation and failure-inducing input generation for neural network numerical bugs.☆13Jan 5, 2024Updated 2 years ago
- A tool to connect SMT-based frontends to Lean4.☆21Oct 21, 2026Updated last week
- TestGenEval A Real World Unit Test Generation and Test Completion Benchmark☆37Mar 12, 2026Updated 7 months ago
- A debugger to detect and diagnose numerical errors in floating point programs☆12Jun 19, 2022Updated 4 years ago
- No More Manual Tests? Evaluating and Improving ChatGPT for Unit Test Generation☆18Jun 28, 2023Updated 3 years ago
- KernelFaRer: Replacing Native-Code Idioms with High-Performance Library Calls☆13Jul 28, 2026Updated 3 months ago
- Improving Machine Translation Systems via Isotopic Replacement☆12Apr 14, 2023Updated 3 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.
- A Lean-embedded framework to verify Verilog modules☆17Oct 6, 2026Updated 3 weeks ago
- ☆33Updated this week
- LLM-based approach to find regression bugs. It checks the behavioral changes introduced by a pull request against its title, description,…☆21Mar 12, 2026Updated 7 months ago
- code for "Implant Global and Local Hierarchy Information to Sequence based Code Representation Models"☆12Dec 13, 2024Updated last year
- assembly-level instruction-set semantics in Lean☆64Updated this week
- ☆10Apr 24, 2024Updated 2 years ago
- Real-time multi-language unit test generation tool via LSP☆43May 14, 2026Updated 5 months ago