Delta assists you in minimizing "interesting" files subject to a test of their interestingness.
☆32Feb 16, 2022Updated 4 years ago
Alternatives and similar repositories for delta
Users that are interested in delta are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Hierarchical Delta Debugging Framework☆60Aug 24, 2026Updated last month
- Super-parallel Python port of the C-Reduce☆349Sep 7, 2026Updated 2 weeks ago
- Something like objdump☆16Jan 23, 2019Updated 7 years ago
- A JavaScript implementation of the bitmap fonts from SerenityOS☆13Jun 5, 2022Updated 4 years ago
- syzkaller is an unsupervised coverage-guided kernel fuzzer☆13Oct 3, 2020Updated 5 years 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.
- ☆10Sep 5, 2019Updated 7 years ago
- IOCTL-Flooder is a verbose tool designed to help with Windows driver fuzzing by brute forcing IOCTLs on loaded drivers. GetLastError is u…☆10Aug 21, 2018Updated 8 years ago
- A mutation testing tool designed to work with large C++ (and C) codebases.☆14Aug 28, 2026Updated 3 weeks ago
- ☆12Aug 13, 2014Updated 12 years ago
- CI system for premerge-testing in LLVM project☆43Jun 5, 2025Updated last year
- ELVE : ELVE Logic Visualization Engine☆11Jul 2, 2017Updated 9 years ago
- A Clone-Based Approach for Recommending Modification on Pasted Code☆12Jun 10, 2017Updated 9 years ago
- A tiny Lua based pixel/chiptune engine☆12Nov 22, 2017Updated 8 years ago
- Welcome to Birds-of-a-Feather: Open-Source-Academic-EDA-Software !☆14Jun 6, 2019Updated 7 years ago
- 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.
- PRODeep: A Platform for Robustness Verification of Deep Neural Networks☆12Nov 11, 2020Updated 5 years ago
- An x86-64 instruction decoder.☆16Mar 11, 2024Updated 2 years ago
- Let's implement some synchronization primitives, shall we?☆25Jul 5, 2021Updated 5 years ago
- WASMaker, a novel differential testing framework that can generate complicated Wasm test cases by disassembling and assembling real-world…☆16Jul 27, 2024Updated 2 years ago
- PoC for the taint-based ROP approach☆14Jul 16, 2023Updated 3 years ago
- Better P4 Output☆12Jan 2, 2024Updated 2 years ago
- ☆15Apr 21, 2023Updated 3 years ago
- An Automatic DNN TrainingProblem Detection and Repair System☆20Dec 23, 2023Updated 2 years ago
- Arch Linux build automation with Buildbot☆16Feb 25, 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.
- C++ Library for Quantum State Preparation (QSP)☆13Jan 5, 2023Updated 3 years ago
- ☆55Apr 23, 2023Updated 3 years ago
- Tutorial on how to build a minimal software engineering agent that still scores high on SWE-bench verified☆27Feb 3, 2026Updated 7 months ago
- OptFuzz: Optimization Path Guided Fuzzing for JavaScript JIT Compilers☆16Jun 14, 2024Updated 2 years ago
- WinAFL modified for RDP client fuzzing☆21Dec 18, 2022Updated 3 years ago
- Intel 8080 emulator with built-in CP/M emulation☆14Feb 16, 2023Updated 3 years ago
- Shrinkray is a modern multi-format test-case reducer☆384Sep 14, 2026Updated last week
- ☆16Aug 12, 2026Updated last month
- PyTorch implementation for the Deep Symbolic Simplification Without Human Knowledge☆14Feb 25, 2021Updated 5 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.
- Here is the replication of the paper Probabilistic Delta Debugging, which has been accepted by ESEC/FSE 2021. More details can be found i…☆19Aug 2, 2021Updated 5 years ago
- sodic2021 法律咨询智能问答 Baseline 线上35+☆17Jun 1, 2021Updated 5 years ago
- ☆29Sep 27, 2019Updated 7 years ago
- Papers on concurrency vulnerability analysis, including multithreaded programs, multi-tasking programs and interrupt driven programs.☆14Nov 11, 2022Updated 3 years ago
- Materials for SE 465 as offered in W19☆22Apr 26, 2019Updated 7 years ago
- Concurrent-C to Rust Automatic Translator☆15Jan 26, 2023Updated 3 years ago
- Intel 8080/Zilog Z80 disassembler written in D.☆19Jun 24, 2021Updated 5 years ago