nus-test / XPress
Automated testing for XML XPath execution
☆17Updated last year
Alternatives and similar repositories for XPress:
Users that are interested in XPress are comparing it to the libraries listed below
- Datalog Engines OPtimization Tester.☆13Updated last year
- A basic repository for a Clang-based tool, with CMake integration.☆10Updated last year
- To detect logic bugs in graph database engines by mutating graph query patterns. ICSE'24.☆33Updated last year
- Automatic testing tools with a general test oracle for detecting crashes and logic bugs in database systems☆38Updated this week
- A lightweight tool for detecting bugs on Graph Database Management Systems☆14Updated last year
- ☆14Updated 8 months ago
- ☆24Updated last week
- Configuration dependency analysis for cloud software☆23Updated 3 years ago
- Automated testing tool to find logic bugs in graph database systems☆17Updated last year
- A tool for testing SMT solvers for incompleteness bugs☆15Updated 2 years ago
- Artifact for ESEC/FSE'23 paper "NeuRI: Diversifying DNN Generation via Inductive Rule Inference"☆30Updated last year
- configuration evolution dataset☆17Updated 4 years ago
- Testing Configuration Changes in Context to Prevent Production Failures☆30Updated last year
- UBGen can generate programs with undefined behaviors (e.g., buffer-overflow, use-after-free, etc.)☆59Updated last week
- WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models (OOPSLA 2024)☆57Updated 5 months ago
- A fuzzing framework for finding transactional bugs in DBMSs☆52Updated last year
- ☆13Updated 2 years ago
- This is an evaluation set for the problem of directed/targeted test input generation. We use it to benchmark the ability of Large Languag…☆31Updated last month
- Coveraged-based fuzzer for finding DBMS logical bugs☆54Updated 2 years ago
- Fuzzing Deep-Learning Libraries via Automated Relational API Inference (ESEC/FSE 2022)☆36Updated last year
- TeLL: Log Level Suggestions via Modeling Multi-Level Code Block Information, ISSTA'22☆14Updated 2 years ago
- [ICSE 2022] Controlled Concurrency Testing via Periodical Scheduling☆31Updated 2 years ago
- Enumerative Testing and Bounded Validation of SMT Solvers☆22Updated 2 months ago
- ☆32Updated 6 months ago
- CONCOCTION is an automated machine learning-based vulnerability detection framework that combines static source code information and dyna…☆26Updated 8 months ago
- ☆74Updated 2 years ago
- Property-based Testing for Mobile GUI Apps☆59Updated this week
- A JIT Compiler Fuzzer for JVMs via CSX/JoNM in "Validating JIT Compilers via Compilation Space Exploration" (SOSP'23)☆53Updated last month
- CrashTuner(SOSP2019)☆30Updated 5 years ago
- ☆14Updated last year