ecnusse / BinPRE
☆17Updated 2 weeks ago
Related projects ⓘ
Alternatives and complementary repositories for BinPRE
- Property-based Testing for Mobile GUI Apps☆29Updated this week
- A lightweight HarmonyOS NEXT app tester.☆22Updated 2 weeks ago
- Mobile App Analysis and Testing Literature☆70Updated 3 weeks ago
- ☆35Updated 9 months ago
- Lab sessions for the software analysis course at East China Normal University.☆117Updated this week
- A database of crash (exception) bugs for Android apps☆20Updated 10 months ago
- Stoat (STochastic model App Tester) - an automatic testing tool for android apps☆143Updated last year
- ☆69Updated last year
- ☆158Updated this week
- ☆74Updated last year
- ☆23Updated 2 months ago
- Fuzzing Deep-Learning Libraries via Automated Relational API Inference (ESEC/FSE 2022)☆34Updated last year
- Automated Storyboard Generation for Android Apps☆31Updated last week
- ☆10Updated 2 months ago
- Fuzzing Automatic Differentiation in Deep-Learning Libraries (ICSE'23)☆22Updated 8 months ago
- This is the implement repository of our upcoming ESEC/FSE 2020 paper: Deep Learning Library Testing via Effective Model Generation.☆54Updated last year
- This repo list the core literature in the field of fuzzing test, large language model, and LLM-based fuzzer. Most of papers are selected …☆36Updated 8 months ago
- Automated Accessibility Issue Detection for Android Apps☆24Updated last week
- For our paper DocTer: Documentation-Guided Fuzzing for Testing Deep Learning API Functions (ISSTA'22)☆33Updated 2 years ago
- ☆16Updated last year
- MegaVul - The largest, high-quality, extensible, continuously updated, C/C++/Java vulnerability dataset☆49Updated this week
- ☆54Updated 3 years ago
- ☆22Updated 9 months ago
- The Themis Benchmark for evaluating automated GUI testing☆143Updated 10 months ago
- A Static Differential Analysis Tool of Network Protocol Parsers☆18Updated 8 months ago
- Artifact for ESEC/FSE'23 paper "NeuRI: Diversifying DNN Generation via Inductive Rule Inference"☆29Updated 11 months ago
- Fast and Precise On-the-fly Patch Validation for All☆10Updated last year
- Replication package for "Dataflow Analysis-Inspired Deep Learning for Efficient Vulnerability Detection", ICSE 2024.☆47Updated last month
- ☆22Updated 3 years ago
- Two-Level Collaborative Fuzzing for Python Runtimes☆15Updated 11 months ago