tianyin / configuration_datasets
The configuration files and issues datasets collected from real users
☆31Updated 4 years ago
Alternatives and similar repositories for configuration_datasets:
Users that are interested in configuration_datasets are comparing it to the libraries listed below
- Configuration dependency analysis for cloud software☆22Updated 3 years ago
- A Reading List of System Configuration Management☆56Updated 7 months ago
- Testing Configuration Changes in Context to Prevent Production Failures☆30Updated last year
- Test-Case Prioritization for Configuration Testing☆16Updated 3 years ago
- configuration evolution dataset☆17Updated 4 years ago
- Automated program repair bibliography, tools and benchmarks.☆78Updated 3 weeks ago
- Runtime verification system for Java, using AspectJ for instrumentation.☆46Updated 2 years ago
- Checks the PDFs submitted to a conference, e.g., for formatting violations and double anonymous violations☆61Updated 3 years ago
- ☆15Updated 5 years ago
- RLCheck, QuickCheck + Reinforcement Learning to produce more valid inputs.☆46Updated 3 years 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
- A Tool for Mining Flaky Tests at Scale☆15Updated last month
- A stateless model checker powered by maximal causality reduction☆38Updated 4 years ago
- Dynamic analysis framework for Python☆69Updated 4 months ago
- Implementation of Log20 in Java☆12Updated 6 years ago
- A tool of collecting patch-related commits and parsing patches.☆13Updated 6 years ago
- PC-miner tool for program chairs☆27Updated last week
- KLEE with floating point support (unmaintained)☆18Updated 3 years ago
- Automatic Repair Framework that abstract repair tools and bug benchmarks☆70Updated last year
- Official repository for PraPR source code☆14Updated 3 years ago
- Semantic program repair system for C programs☆99Updated 2 years ago
- Enumerative Testing and Bounded Validation of SMT Solvers☆22Updated last month
- Implementation and evaluation data of the Concolic Walk heuristic for solving complex arithmetic path conditions.☆14Updated 10 years ago
- ☆16Updated 8 months ago
- A System for Debloating C/C++ Programs☆31Updated 3 years ago
- A higher order mutation testing tool☆58Updated 4 years ago
- Error-Log Statement Placement by Deep Understanding of Log Intention☆24Updated 4 years ago
- ☆32Updated 3 weeks ago
- AutoRNP -- Automated Repair of High Floating-Point Errors in Numerical Libraries☆11Updated 6 years ago
- ☆56Updated last year