martineberlein / avicennaLinks
Debugging Prototype Avicenna
☆10Updated 6 months ago
Alternatives and similar repositories for avicenna
Users that are interested in avicenna are comparing it to the libraries listed below
Sorting:
- Research Acceleration Platform that provides interface to multiple state-of-the-art program analysis tools including but not limited to f…☆71Updated 9 months ago
- A framework for testing compilers' type checkers☆17Updated 9 months ago
- A tool for testing SMT solvers for incompleteness bugs☆15Updated 2 years ago
- A mutation tool for source and IR☆13Updated 6 years ago
- An empirical study on patch correctness☆15Updated 2 years ago
- Enumerative Testing and Bounded Validation of SMT Solvers☆22Updated last month
- ☆33Updated last week
- WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models (OOPSLA 2024)☆65Updated 3 weeks ago
- mBERT is a mutation testing tool that uses a pre-trained language model (CodeBERT) to generate mutants.☆15Updated last week
- UBGen can generate programs with undefined behaviors (e.g., buffer-overflow, use-after-free, etc.)☆60Updated 3 months ago
- Mutation-guided mutation-based fuzz testing☆47Updated last year
- Program analysis tools built on tree-sitter (https://github.com/tree-sitter/tree-sitter).☆43Updated 2 weeks ago
- QueryFuzz implements a metamorphic testing approach to test Datalog engines.☆36Updated 4 years ago
- ☆11Updated 7 months ago
- For our ICSE22 paper "EAGLE: Creating Equivalent Graphs to Test Deep Learning Libraries" by Jiannan Wang, Thibaud Lutellier, Shangshu Qia…☆13Updated 2 years ago
- A learning-guided approach for executing arbitrary Python code snippets☆18Updated last year
- ☆16Updated last month
- DBGBench Website:☆19Updated 4 years ago
- A Computational Graph Generator for AI Compiler Fuzzing☆14Updated 2 years ago
- SanRazor is a sanitizer check reduction tool aiming to incur little overhead while retaining all important sanitizer checks.