plasma-umass / coverupLinks
Automatic AI-powered test suite generator
☆79Updated last month
Alternatives and similar repositories for coverup
Users that are interested in coverup are comparing it to the libraries listed below
Sorting:
- BugsInPy: Benchmarking Bugs in Python Projects☆105Updated last year
- EvoEval: Evolving Coding Benchmarks via LLM☆74Updated last year
- ☆142Updated last month
- Research Acceleration Platform that provides interface to multiple state-of-the-art program analysis tools including but not limited to f…☆72Updated 7 months ago
- Program analysis tools built on tree-sitter (https://github.com/tree-sitter/tree-sitter).☆43Updated last year
- Artifact repository for the paper "Lost in Translation: A Study of Bugs Introduced by Large Language Models while Translating Code", In P…☆49Updated 3 months ago
- Benchmark ClassEval for class-level code generation.☆144Updated 8 months ago
- MutAP: A prompt_based learning technique to automatically generate test cases with Large Language Model☆43Updated 4 months ago
- RepairAgent is an autonomous LLM-based agent for software repair.☆50Updated 2 weeks ago
- Dataflow-guided retrieval augmentation for repository-level code completion, ACL 2024 (main)☆26Updated 3 months ago
- The official Python SDK for Codellm-Devkit☆106Updated last week
- ☆50Updated 11 months ago
- Dynamic analysis framework for Python☆75Updated this week
- Large Language Models for Software Engineering☆235Updated this week
- Debugging Prototype Avicenna☆10Updated 5 months ago
- Efficient and general syntactical decoding for Large Language Models☆279Updated this week
- Extract and combine multiple source code views using tree-sitter☆143Updated 2 months ago
- A Micro-benchmarking Framework for Python Type Inference Tools☆34Updated 2 months ago
- Scalpel: The Python Static Analysis Framework☆309Updated last year
- ManyTypes4Py: A benchmark Python dataset for machine learning-based type inference☆23Updated 3 years ago
- A framework to generate unit tests using LLMs☆37Updated 2 months ago
- This repo is for our submission for ICSE 2025.☆20Updated last year
- CRUXEval: Code Reasoning, Understanding, and Execution Evaluation☆148Updated 9 months ago
- Python3 control flow graph generator☆202Updated 2 years ago
- ☆20Updated 2 years ago
- CoCoMIC: Code Completion By Jointly Modeling In-file and Cross-file Context☆17Updated 8 months ago
- Utilities for constructing a large dataset of LLVM IR☆21Updated last month
- r2e: turn any github repository into a programming agent environment☆126Updated 2 months ago
- methods2test is a supervised dataset consisting of Test Cases and their corresponding Focal Methods from a set of Java software repositor…☆157Updated last year
- Enhancing AI Software Engineering with Repository-level Code Graph☆191Updated 3 months ago