A framework to generate unit tests using LLMs
☆42Jan 19, 2026Updated last month
Alternatives and similar repositories for chatunitest-core
Users that are interested in chatunitest-core are comparing it to the libraries listed below
Sorting:
- An implementation of ChatTester//arxiv.org/abs/2305.04207☆15Nov 25, 2024Updated last year
- ☆166Jul 25, 2025Updated 7 months ago
- ☆72Updated this week
- ☆12Feb 20, 2024Updated 2 years ago
- Evaluation code of ASE24 accepted paper "On the Evaluation of LLM in Unit Test Generation"☆13Dec 9, 2024Updated last year
- ☆23Nov 22, 2023Updated 2 years ago
- ☆25Sep 23, 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
- Under construction☆13Jan 15, 2025Updated last year
- ☆34Jan 27, 2025Updated last year
- Continual learning layer for coding agents☆51Updated this week
- System for verifying the correctness of generated Copilot programs☆17May 8, 2025Updated 9 months 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
- A C/C++ dependency scanner☆41Nov 24, 2023Updated 2 years ago
- No More Manual Tests? Evaluating and Improving ChatGPT for Unit Test Generation☆19Jun 28, 2023Updated 2 years ago
- ☆27Feb 22, 2026Updated last week
- Code for the paper "LLM Meets Bounded Model Checking: Neuro-symbolic Loop Invariant Inference" at ASE 2024☆26Sep 3, 2024Updated last year
- An automatic API misuse checker for C programs!☆19Apr 3, 2019Updated 6 years ago
- A Source Code Tokenizer☆14Oct 30, 2024Updated last year
- [AST'26] LLAMAFUZZ: Large Language Model Enhanced Greybox Fuzzing☆23Dec 3, 2024Updated last year
- This is java implementation of Graspan.☆20Dec 20, 2023Updated 2 years ago
- Process Orchestration Framework: A camunda 7 fork☆21Updated this week
- An LLVM-based formal verification frontend for C programs.☆26Oct 29, 2021Updated 4 years ago
- ☆24Sep 5, 2023Updated 2 years ago
- ☆23Dec 30, 2025Updated 2 months ago
- SDLC Copilot is an Agentic AI system designed to streamline and automate the Software Development Lifecycle (SDLC). From requirement gath…☆23Jun 14, 2025Updated 8 months ago
- Physical Downlink Shared Channel (PDSCH) in 5G New Radio.☆12Jan 29, 2024Updated 2 years ago
- TeCo: an ML+Execution model for test completion☆31Jun 16, 2024Updated last year
- 基于GSConv+SlimNeck的YOLOv5的消防通道占用检测系统☆10Nov 24, 2023Updated 2 years ago
- 本文提出了一种基于多视图卷积神经网络的三维物体识别算法，以实现三维物体的准确识别。首先实现一个标准的卷积神经网络架构，该架构经过训练可以独立地识别形状的渲染视图，以实现即使从单一视图中也可以识别出一个三维形状。随后使用该三维物体多个角度的二维视图通过卷积神经网络识别的结果进…☆11May 16, 2022Updated 3 years ago
- A program slicer for Java, based on the system dependence graph (SDG).☆70Feb 27, 2026Updated last week
- ☆154May 27, 2025Updated 9 months ago
- This repository is the code implementing some classic algorithms in co-location pattern minning.☆13May 9, 2014Updated 11 years ago
- A library for building intraprocedural PDGs for Java programs☆36Sep 28, 2023Updated 2 years ago
- RepairLLaMA: Efficient Representations and Fine-Tuned Adapters for Program Repair http://arxiv.org/pdf/2312.15698☆39Sep 5, 2025Updated 6 months ago
- ☆36Oct 12, 2022Updated 3 years ago
- An extended version of Tool for Calculating Chidamber and Kemerer Java Metrics (and many other metrics)☆32Feb 23, 2026Updated last week
- Official code for the paper "CodeChain: Towards Modular Code Generation Through Chain of Self-revisions with Representative Sub-modules"☆49Nov 10, 2025Updated 3 months ago
- Repository for ASE 2017 paper, "Modular Verification of Interrupt-driven Software".☆11May 20, 2019Updated 6 years ago