Structure-Invariant Testing for Machine Translation [ICSE'20]
☆16Dec 17, 2020Updated 5 years ago
Alternatives and similar repositories for StructureInvariantTesting
Users that are interested in StructureInvariantTesting are comparing it to the libraries listed below
Sorting:
- A toolkit for testing machine translation [ICSE'20, '21, ESEC/FSE'20]☆33Nov 15, 2021Updated 4 years ago
- A list of bugs found by SQLancer☆17Jan 30, 2024Updated 2 years ago
- A Fast Floating-Point Satisfiability Solver☆28Jul 26, 2025Updated 7 months ago
- A bounded exhaustive testing tool☆22Jul 3, 2025Updated 7 months ago
- NeonGoby alias analysis checker☆14Jul 2, 2013Updated 12 years ago
- A toolkit for testing and improving named entity recognition [ESEC/FSE'23]☆11Aug 31, 2023Updated 2 years ago
- A Reduction Tool for SQL Bachelor's thesis of Jonas Müntener☆16Oct 15, 2024Updated last year
- SanRazor is a sanitizer check reduction tool aiming to incur little overhead while retaining all important sanitizer checks.☆56Jun 6, 2021Updated 4 years ago
- ☆12Jul 3, 2019Updated 6 years ago
- ☆38Jan 12, 2024Updated 2 years ago
- A database of crash (exception) bugs for Android apps☆21Jan 8, 2024Updated 2 years ago
- Test-Case Prioritization for Configuration Testing☆16Jul 19, 2021Updated 4 years ago
- A fuzzing framework for finding transactional bugs in DBMSs☆53Jun 4, 2023Updated 2 years ago
- ☆21Nov 10, 2019Updated 6 years ago
- ☆25Mar 20, 2021Updated 4 years ago
- Accurate Condition Synthesis☆20Aug 3, 2022Updated 3 years ago
- This repository contains the implementation and the evaluation of our ESEC/FSE 2020 paper: Detecting Numerical Bugs in Neural Network Ar…☆25Dec 17, 2020Updated 5 years ago
- automated testing for JavaScript☆36Feb 1, 2018Updated 8 years ago
- ☆36Apr 26, 2023Updated 2 years ago
- ☆30Oct 30, 2020Updated 5 years ago
- ☆10Sep 28, 2020Updated 5 years ago
- ☆12Feb 2, 2024Updated 2 years ago
- GUIPilot: A Consistency-based Mobile GUI Testing Approach for Detecting Application-specific Bugs☆14Jan 5, 2026Updated last month
- A command line wrapper for Syncthing☆11Mar 10, 2018Updated 7 years ago
- Fork of Triton repository for OpenXLA uses of the Triton language and compiler☆15Updated this week
- An implementation of Tare.☆12Feb 23, 2024Updated 2 years ago
- egraph on top of sqlite☆13Mar 8, 2022Updated 3 years ago
- ☆11Jan 19, 2025Updated last year
- Updated ROS bindings to pocketsphinx☆11Jan 4, 2019Updated 7 years ago
- Configuration files for the ODRI uDriver firmware.☆11Nov 15, 2022Updated 3 years ago
- Automatically run experiments, upload results to google docs, analyze them using R, and include the analysis in LaTeX.☆18Mar 3, 2015Updated 10 years ago
- Python bot to automate Quillbot without Buying Premium☆12Oct 22, 2020Updated 5 years ago
- A DL compiler fuzzer☆14Nov 1, 2024Updated last year
- ☆11Oct 17, 2024Updated last year
- ☆11May 24, 2022Updated 3 years ago
- A Code Efficiency Benchmark for Code Generation☆13May 26, 2025Updated 9 months ago
- Dynamic analysis of multithreaded C programs☆13Feb 7, 2020Updated 6 years ago
- ☆10Feb 20, 2020Updated 6 years ago
- HaVSA (Have-Saa) is a Haskell implementation of the Version Space Algebra Machine Learning technique described by Tessa Lau.☆12Jul 8, 2017Updated 8 years ago