This is an evaluation set for the problem of directed/targeted test input generation. We use it to benchmark the ability of Large Language Models for generating inputs to reach a certain code location or produce a particular result.
☆34Mar 11, 2025Updated last year
Alternatives and similar repositories for PathEval
Users that are interested in PathEval are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- [ISSTA 2025] A Large-scale Empirical Study on Fine-tuning Large Language Models for Unit Testing☆13Feb 9, 2025Updated last year
- A practical fuzzing tool for SMT solvers☆11Nov 26, 2025Updated 11 months ago
- [ICSE '25] LLM Based Input Space Partitioning Testing for Library APIs☆14Jul 27, 2025Updated last year
- Evaluation code of ASE24 accepted paper "On the Evaluation of LLM in Unit Test Generation"☆13Dec 9, 2024Updated last year
- ☆14Sep 12, 2024Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆175Jul 25, 2025Updated last year
- ☆13Oct 22, 2025Updated last year
- Automatic AI-powered test suite generator☆116Apr 5, 2026Updated 6 months ago
- This repository contains several examples of logic bomb.☆116Dec 23, 2023Updated 2 years ago
- WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models (OOPSLA 2024)☆87Aug 5, 2025Updated last year
- ☆13Nov 20, 2024Updated last year
- An implementation of the ACL 2024 Findings paper "Generalization-Enhanced Code Vulnerability Detection via Multi-Task Instruction Fine-Tu…☆78Oct 29, 2025Updated last year
- Hybrid Program Analysis-Guided Test Generation☆11Jun 15, 2026Updated 4 months ago
- ☆39Jan 27, 2025Updated last year
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- The repository of data and codes for SynTeR, an LLM-based approach to repair obsolete test cases caused by syntactic BCs.☆16Aug 25, 2024Updated 2 years ago
- The Z3-Noodler String Solver☆34Updated this week
- KLEE / CSE Project☆48Apr 3, 2020Updated 6 years ago
- A tool based on python to parse C/C++ code into code property graph☆17Nov 4, 2022Updated 3 years ago
- A continuously updated collection of papers on agentic SE☆639Jul 17, 2026Updated 3 months ago
- Fuzzing Deep-Learning Libraries via Automated Relational API Inference (ESEC/FSE 2022)☆39May 17, 2023Updated 3 years ago
- RulePilot: the first language- and theory-agonistic SIEM Rule generation engine via LLM agents☆16Oct 20, 2025Updated last year
- ☆27Sep 23, 2024Updated 2 years ago
- PatchEval: A New Benchmark for Evaluating LLMs on Patching Real-World Vulnerabilities☆234Oct 19, 2026Updated last week
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Create CFGs and compute complexity metrics for Python, C++, and Java code.☆46May 10, 2024Updated 2 years ago
- ☆19Jan 17, 2024Updated 2 years ago
- For our ISSTA22 paper "DocTer: Documentation-Guided Fuzzing for Testing Deep Learning API Functions" by Danning Xie, Yitong Li, Mijung Ki…☆39Jul 19, 2022Updated 4 years ago
- Empc: Effective Path Prioritization for Symbolic Execution with Path Cover☆35May 11, 2025Updated last year
- A prototype to write blog posts with executable ocaml code blocks☆10Apr 25, 2025Updated last year
- Z3 Type Layer: a strongly-typed interface to Z3☆13Jan 28, 2020Updated 6 years ago
- Cottontail: A LLM-Driven Concolic Execution Engine (Accepted by IEEE S&P'26)☆47Dec 4, 2025Updated 10 months ago
- Generates executable Proof-of-Concept for any bug in any project. AI agents discover and reproduce vulnerabilities — verified, not halluc…☆35May 5, 2026Updated 5 months ago
- FORTE (Full-cycle Office Real-world Task Evaluation) is a general agent benchmark for evaluating AI agents on daily office productivity a…☆20Jun 30, 2026Updated 3 months ago
- 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.
- MetaMut is a mutation operator generator to facilitate compiler fuzzing.☆34Dec 29, 2024Updated last year
- Official repository for PraPR source code☆14May 11, 2021Updated 5 years ago
- tool of llm-based indirect-call analyzer☆32Sep 27, 2026Updated last month
- CaDiCaL BackBone Analyzer☆12Oct 19, 2024Updated 2 years ago
- A GPT-Based Fuzz Driver Generator☆48Nov 19, 2023Updated 2 years ago
- ☆10May 27, 2023Updated 3 years ago
- A framework to generate unit tests using LLMs☆44Mar 19, 2026Updated 7 months ago