EngineeringSoftware / gobash
Bash function library
☆23Updated 5 months ago
Alternatives and similar repositories for gobash:
Users that are interested in gobash are comparing it to the libraries listed below
- Compiler Testing using Template Java Programs☆27Updated last year
- Multilingual Code Co-Evolution Using Large Language Models☆12Updated last month
- Tests that check correctness of a single statement☆13Updated 2 months ago
- Code and data for "Impact of Evaluation Methodologies on Code Summarization" in ACL 2022.☆10Updated 2 years ago
- Configuration dependency analysis for cloud software☆22Updated 3 years ago
- Testing Configuration Changes in Context to Prevent Production Failures☆30Updated last year
- ☆23Updated last week
- Fast and Precise On-the-fly Patch Validation for All☆10Updated last year
- ☆11Updated 8 months ago
- Artifact for ESEC/FSE'23 paper "NeuRI: Diversifying DNN Generation via Inductive Rule Inference"☆31Updated last year
- Fuzzing Deep-Learning Libraries via Automated Relational API Inference (ESEC/FSE 2022)☆34Updated last year
- Free Lunch for Testing: Fuzzing Deep-Learning Libraries from Open Source (ICSE'22)☆74Updated 2 years ago
- A learning-guided approach for executing arbitrary Python code snippets☆15Updated 10 months ago
- Fuzzing Automatic Differentiation in Deep-Learning Libraries (ICSE'23)☆22Updated 10 months ago
- ☆20Updated 5 years ago
- This repository contains the dataset of our ISSTA 2018 paper: An Empirical Study on TensorFlow Program Bugs.☆30Updated 4 years ago
- ☆27Updated 3 months ago
- [ICSE 2023] Differentiable interpretation and failure-inducing input generation for neural network numerical bugs.☆12Updated last year
- A JIT Compiler Fuzzer for JVMs via CSE/JoNM in "Validating JIT Compilers via Compilation Space Exploration" (SOSP'23)☆52Updated last month
- Replication package of a paper "Large Language Models are Few-shot Testers: Exploring LLM-based General Bug Reproduction"☆22Updated last year
- AutoRNP -- Automated Repair of High Floating-Point Errors in Numerical Libraries☆11Updated 6 years ago
- ☆1Updated 10 months ago
- This repository contains the implementation and the evaluation of our ESEC/FSE 2020 paper: Detecting Numerical Bugs in Neural Network Ar…☆26Updated 4 years ago
- LLMSAN: Sanitizing Large Language Models in Bug Detection with Data-Flow☆49Updated 3 months ago
- WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models (OOPSLA 2024)☆49Updated 2 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
- Code2Inv: Learning Loop Invariants for Program Verification☆88Updated 4 years ago
- A tool for testing SMT solvers for incompleteness bugs☆15Updated 2 years ago
- Research Acceleration Platform that provides interface to multiple state-of-the-art program analysis tools including but not limited to f…☆67Updated 2 months ago
- STARTS - A tool for STAtic Regression Test Selection☆29Updated 7 months ago