☆14Jan 13, 2023Updated 3 years ago
Alternatives and similar repositories for bugfixer-testbench
Users that are interested in bugfixer-testbench are comparing it to the libraries listed below
Sorting:
- ☆14Jan 8, 2023Updated 3 years ago
- ☆11Jun 14, 2024Updated last year
- ☆48Nov 25, 2025Updated 3 months ago
- ☆11Nov 23, 2024Updated last year
- ☆55Dec 19, 2025Updated 2 months ago
- ☆62Feb 11, 2026Updated 2 weeks ago
- ☆39Dec 7, 2021Updated 4 years ago
- ☆28Aug 14, 2023Updated 2 years ago
- A bot for automatically completing the KAIST safety course☆10Aug 29, 2023Updated 2 years ago
- Extension of Maude Logical Model Checker (https://maude.cs.illinois.edu/tools/lmc/)☆10Dec 31, 2025Updated 2 months ago
- A WebSocket client implementation☆11Jul 29, 2021Updated 4 years ago
- Development for: Formally Verified Speculation and Deoptimization in a JIT Compiler☆13Nov 17, 2022Updated 3 years ago
- ☆11Jan 17, 2023Updated 3 years ago
- Formal Specification of Trusted Execution Environment APIs☆10Dec 26, 2025Updated 2 months ago
- ☆11Jan 21, 2025Updated last year
- ☆49Oct 27, 2024Updated last year
- Tutorial for refinement based verification☆15Jan 16, 2026Updated last month
- ☆13Dec 31, 2025Updated 2 months ago
- A translation verifier for Reopt (https://github.com/GaloisInc/reopt)☆20Sep 20, 2021Updated 4 years ago
- Main repository for Harvard CS260r 2017.☆12Apr 25, 2017Updated 8 years ago
- junit tools contest infrastructure☆13Feb 9, 2024Updated 2 years ago
- ☆19Nov 5, 2023Updated 2 years ago
- A wrapper around websys and tokio-tungstenite that makes it easy to use websockets cross-platform.☆29Feb 15, 2026Updated 2 weeks ago
- Synthesis from Inductive specification eMpowered by Bidirectional Abstract Interpretation☆22Dec 3, 2023Updated 2 years ago
- ☆22Jun 18, 2021Updated 4 years ago
- Static Analysis Framework for Android Hybrid Applications☆25Oct 13, 2020Updated 5 years ago
- An example web server built with OCaml and the Dream framework.☆32Aug 30, 2023Updated 2 years ago
- ☆35Jun 21, 2020Updated 5 years ago
- JISET: JavaScript IR-based Semantics Extraction Toolchain☆41Jan 7, 2023Updated 3 years ago
- ⌥ Simple Backus–Naur form (BNF) LaTeX package☆43Oct 31, 2025Updated 4 months ago
- This is an auto-generated repository from the whole source code, without reference solution source codes.☆151Mar 16, 2025Updated 11 months ago
- MBA deobfuscator via Program Synthesis and Term Rewriting☆57Oct 13, 2025Updated 4 months ago
- ☆45Nov 20, 2024Updated last year
- Evosuite++: an enhancement for Evosuite framework supporting new features like optimal object construction and gradient recovering☆41Dec 11, 2023Updated 2 years ago
- Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…☆44May 25, 2021Updated 4 years ago
- ☆56Oct 4, 2024Updated last year
- Template-based Automated Program Repair☆54Feb 7, 2024Updated 2 years ago
- Jigsaw Dataset: Natural language to Python Pandas code☆55Dec 18, 2022Updated 3 years ago
- A database of real-world C/C++ defaults to experiment in software engineering research☆60Mar 25, 2024Updated last year