The repository of data and codes for SynTeR, an LLM-based approach to repair obsolete test cases caused by syntactic BCs.
☆15Aug 25, 2024Updated last year
Alternatives and similar repositories for SynTeR
Users that are interested in SynTeR are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆13Sep 12, 2024Updated last year
- Bit-bLAsting solving Non-linear integer constraints.☆22Jul 3, 2025Updated last year
- [TMLR 2024] G4SATBench: Benchmarking and Advancing SAT Solving with Graph Neural Networks☆41May 14, 2024Updated 2 years ago
- ☆13Nov 20, 2024Updated last year
- ☆13Dec 31, 2024Updated 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 practical fuzzing tool for SMT solvers☆11Nov 26, 2025Updated 8 months ago
- This is a JLU-SNL-COMPILER project☆13Oct 6, 2023Updated 2 years ago
- A fuzzer for SMT solvers☆22May 8, 2026Updated 3 months ago
- A tool for testing SMT solvers for incompleteness bugs☆17Oct 12, 2022Updated 3 years ago
- ☆21Jun 29, 2024Updated 2 years ago
- [NeurIPS 2022] "NSNet: A General Neural Probabilistic Framework for Satisfiability Problems"☆19Mar 29, 2023Updated 3 years ago
- Fair Android Explorer☆23Apr 19, 2023Updated 3 years ago
- A database of crash (exception) bugs for Android apps☆21Jan 8, 2024Updated 2 years ago
- Dataset of Codex generated tests for the CodaMosa project☆19Jun 2, 2023Updated 3 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Benchmark apps for static analyzing inter-component data leakage problem of Android apps.☆19Jun 20, 2017Updated 9 years ago
- A Novel Benchmark evaluating the Deep Capability of Vulnerability Detection with Large Language Models☆38Apr 25, 2025Updated last year
- Code for the paper: CodeTree: Agent-guided Tree Search for Code Generation with Large Language Models☆37Jun 2, 2026Updated 2 months ago
- ☆22Dec 28, 2024Updated last year
- ☆28Nov 13, 2024Updated last year
- CONCOCTION is an automated machine learning-based vulnerability detection framework that combines static source code information and dyna…☆28Aug 18, 2024Updated last year
- A framework to ease parallelization of sequential SAT solvers☆36May 17, 2026Updated 2 months ago
- ☆36Jan 27, 2025Updated last year
- sketching algorithms implemented in chapel and python☆10Jun 8, 2017Updated 9 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.
- TestGenEval A Real World Unit Test Generation and Test Completion Benchmark☆32Mar 12, 2026Updated 4 months ago
- Implementation of Hyena Hierarchy in JAX☆10Apr 30, 2023Updated 3 years ago
- A Python script to delete all comment and submission data from a given Reddit account.☆11Jan 5, 2021Updated 5 years ago
- ☆15Jul 23, 2025Updated last year
- Cottontail: A LLM-Driven Concolic Execution Engine (Accepted by IEEE S&P'26)☆42Dec 4, 2025Updated 8 months ago
- Toradocu - automated generation of test oracles from Javadoc documentation☆44Mar 7, 2024Updated 2 years ago
- Never forget the resource that helps to close that sales call! Power a real-time speech-to-text agent with retrieval augmented generation…☆14Jan 23, 2024Updated 2 years ago
- This is a benchmark for evaluating the vulnerability discovery ability of automated approaches including Large Language Models (LLMs), de…☆82Nov 18, 2024Updated last year
- A Raycast extension for Wechat to quickly search your contacts and chat.Raycast 微信插件，微信效率工具，快速搜索微信好友并进行聊天。☆54Jun 12, 2025Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- IMDB API for Python☆18Mar 10, 2024Updated 2 years ago
- U-2-NetのPythonでのONNX推論サンプル☆13Nov 29, 2021Updated 4 years ago
- BiSUNA framework specialized to compile for the Xilinx Alveo U50☆13Dec 3, 2020Updated 5 years ago
- MutAP: A prompt_based learning technique to automatically generate test cases with Large Language Model☆57Mar 7, 2025Updated last year
- The official codes for Fast Monte Carlo Rendering via Multi-Resolution Sampling☆15Dec 2, 2021Updated 4 years ago
- ☆24Dec 11, 2024Updated last year
- [inactive] MoMA: Multimodal LLM Adapter for Fast Personalized Image Generation☆13Apr 22, 2024Updated 2 years ago