Generating difference exposing tests in Python http://arxiv.org/pdf/2406.10375
☆10Sep 5, 2025Updated last year
Alternatives and similar repositories for Mokav
Users that are interested in Mokav are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Runtime analysis for Python programs☆12Updated this week
- ☆14Sep 12, 2024Updated 2 years ago
- ☆10Apr 24, 2024Updated 2 years ago
- ☆27Sep 23, 2024Updated 2 years ago
- ☆22Dec 28, 2024Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- browsing through the looking glass☆10Jul 10, 2023Updated 3 years ago
- 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
- draw any file as a picture☆16Oct 16, 2013Updated 13 years ago
- A toy scanner and parser for C language☆17Dec 30, 2019Updated 6 years ago
- ☆20Apr 23, 2025Updated last year
- ☆30Feb 11, 2026Updated 9 months ago
- AI-powered CI checks for Ethereum spec compliance. Catches spec↔code mismatches before they hit mainnet. Built by Safi El-Hassanine | AI-…☆16Updated this week
- Configure the symbols displayed for test outcomes☆12Apr 7, 2022Updated 4 years ago
- ☆39Jan 27, 2025Updated last year
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- The central ASPIRE framework repository, start here if you want to use our tools (this contains all tools and documentation)☆14Apr 17, 2021Updated 5 years ago
- ♻️ A curated list of awesome carbon projects in the web3 space, podcasts, and other various resources☆10Nov 19, 2023Updated 2 years ago
- Emulation of the infamous Bu☆11Nov 13, 2023Updated 2 years ago
- [ICSE '25] LLM Based Input Space Partitioning Testing for Library APIs☆14Jul 27, 2025Updated last year
- Test Automation Framework - TAF☆19Jul 6, 2022Updated 4 years ago
- The first implementation of a fully distributed provably secure and universally verifiable mix-net based on the El Gamal cryptosystem.☆12Apr 25, 2024Updated 2 years ago
- Python wrapper around arkwork's implementation of bls12-381☆10Jun 23, 2026Updated 4 months ago
- Standard Tests for OP Stack Component Implementations.☆18Nov 11, 2024Updated 2 years ago
- ☆16Updated this week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- 使用书生Intern大模型，以科技赋能投资决策☆10Feb 13, 2025Updated last year
- [EMNLP 2025] RouterLens☆29Sep 15, 2025Updated last year
- Blob P2P Test Tool☆18Aug 7, 2025Updated last year
- GitChameleon 2.0, a version-conditioned coding benchmark☆12Apr 17, 2026Updated 6 months ago
- ☆13Nov 20, 2024Updated last year
- The easiest way to gift ENS names☆16Oct 31, 2026Updated last week
- Replication package of the ICSE2025 paper titled "Leveraging Large Language Models for Enhancing the Understandability of Generated Unit …☆11Feb 19, 2025Updated last year
- A musical experiment using p5.js and Tone.js☆16Aug 23, 2017Updated 9 years ago
- Ethereum execution client benchmarking tool☆12Nov 4, 2026Updated last week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- [ISSTA 2025] A Large-scale Empirical Study on Fine-tuning Large Language Models for Unit Testing☆13Feb 9, 2025Updated last year
- Pipeline for automatic test generation assessment☆11Mar 10, 2025Updated last year
- ☆12Nov 5, 2026Updated last week
- Evaluation code of ASE24 accepted paper "On the Evaluation of LLM in Unit Test Generation"☆13Dec 9, 2024Updated last year
- Yajta is a extensible library for bytecode probe insertion, built on top of javassist. Its transformations may be applied at load time wi…☆17Oct 3, 2022Updated 4 years ago
- Hybrid Program Analysis-Guided Test Generation☆11Jun 15, 2026Updated 4 months ago
- MVP of a QR claim code kiosk☆13Jul 23, 2025Updated last year
Are these results useful?