ucd-plse / PyDFix
PyDFix is a tool that helps detect and fix dependency errors that cause the unreproducibility of Python builds. PyDFix takes as input the current build log, the original build log and the source code. PyDFix first identifies dependency errors and possible dependency packages causing these errors using LogErrorAnalyzer. This is followed by iterat…
☆12Updated 2 years ago
Alternatives and similar repositories for PyDFix:
Users that are interested in PyDFix are comparing it to the libraries listed below
- ☆32Updated 3 weeks ago
- Collect simple coverage information in memory.☆11Updated 2 years ago
- Free Lunch for Testing: Fuzzing Deep-Learning Libraries from Open Source (ICSE'22)☆77Updated 2 years ago
- A Micro-benchmarking Framework for Python Type Inference Tools☆33Updated 3 weeks ago
- ☆21Updated 5 years ago
- A tool for testing SMT solvers for incompleteness bugs☆15Updated 2 years ago
- [FSE-2024] Towards AI-Assisted Synthesis of Verified Dafny Methods☆42Updated 9 months ago
- Fuzzing Automatic Differentiation in Deep-Learning Libraries (ICSE'23)☆22Updated last year
- ISLearn is a tool for mining constraints on string inputs based on context-free grammars and the ISLa specification language.☆16Updated last year
- Enumerative Testing and Bounded Validation of SMT Solvers☆22Updated last month
- WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models (OOPSLA 2024)☆55Updated 4 months ago
- This is the implementation repository of our ICSE'22 paper: Muffin: Testing Deep Learning Libraries via Neural Architecture Fuzzing.☆30Updated 2 years ago
- A powerful relational representation of source code☆31Updated last year
- Fast and Precise On-the-fly Patch Validation for All☆10Updated 2 years ago
- RLCheck, QuickCheck + Reinforcement Learning to produce more valid inputs.☆46Updated 3 years ago
- The ISLa (Input Specification Language) language & solver.☆63Updated 9 months ago
- MetaMut is a mutation operator generator to facilitate compiler fuzzing.☆26Updated 3 months ago
- Testing Configuration Changes in Context to Prevent Production Failures☆30Updated last year
- ☆24Updated last month
- A learning-guided approach for executing arbitrary Python code snippets☆15Updated last year
- Artifact for ESEC/FSE'23 paper "NeuRI: Diversifying DNN Generation via Inductive Rule Inference"☆30Updated last year
- A JIT Compiler Fuzzer for JVMs via CSX/JoNM in "Validating JIT Compilers via Compilation Space Exploration" (SOSP'23)☆52Updated 3 weeks ago
- Fuzzing Deep-Learning Libraries via Automated Relational API Inference (ESEC/FSE 2022)☆34Updated last year
- The First International Workshop on Large Language Model for Code 2024 (Co-Located with ICSE 2024)☆17Updated 5 months ago
- Seq2seq Type Inference using Static Analysis and CodeT5☆30Updated last year
- Teaching and Learning Software Verification via SVF☆33Updated last week
- LinearArbitrary-SeaHorn is a CHC solver for LLVM-based languages.☆21Updated 2 years ago
- ☆132Updated 4 months ago
- Research Acceleration Platform that provides interface to multiple state-of-the-art program analysis tools including but not limited to f…☆69Updated 4 months ago
- BugsInPy: Benchmarking Bugs in Python Projects☆94Updated 8 months ago