tianyin / configuration_datasetsLinks
The configuration files and issues datasets collected from real users
☆31Updated 5 years ago
Alternatives and similar repositories for configuration_datasets
Users that are interested in configuration_datasets are comparing it to the libraries listed below
Sorting:
- Test-Case Prioritization for Configuration Testing☆16Updated 3 years ago
- Configuration dependency analysis for cloud software☆23Updated 3 years ago
- Here is the replication of the paper Probabilistic Delta Debugging, which has been accepted by ESEC/FSE 2021. More details can be found i…☆16Updated 3 years ago
- A Reading List of System Configuration Management☆56Updated 10 months ago
- Testing Configuration Changes in Context to Prevent Production Failures☆31Updated last year
- Implementation of Log20 in Java☆12Updated 6 years ago
- A System for Debloating C/C++ Programs☆31Updated 3 years ago
- Checks the PDFs submitted to a conference, e.g., for formatting violations and double anonymous violations☆61Updated 3 years ago
- ☆33Updated last month
- configuration evolution dataset☆18Updated 4 years ago
- Hierarchical Delta Debugging Framework☆59Updated 6 months ago
- LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM☆25Updated 2 years ago
- A dynamic analysis framework for concurrent programs (x86 binaries). It is shipped with a few tools written using this framework for test…☆69Updated 8 years ago
- A tool of collecting patch-related commits and parsing patches.☆13Updated 6 years ago
- Search, check, and autofix your BibTex files!☆25Updated last year
- Research Acceleration Platform that provides interface to multiple state-of-the-art program analysis tools including but not limited to f…☆72Updated 7 months ago
- Enumerative Testing and Bounded Validation of SMT Solvers☆22Updated 4 months ago
- Practical Program Repair via Bytecode Mutation☆65Updated 3 years ago
- A learning-guided approach for executing arbitrary Python code snippets☆18Updated last year
- A JIT Compiler Fuzzer for JVMs via CSX/JoNM in "Validating JIT Compilers via Compilation Space Exploration" (SOSP'23)☆54Updated 3 months ago
- RLCheck, QuickCheck + Reinforcement Learning to produce more valid inputs.☆47Updated 3 years ago
- Runtime verification system for Java, using AspectJ for instrumentation.☆47Updated 2 years ago
- KLEE with floating point support (unmaintained)☆18Updated 3 years ago
- The Cloud9 main repository☆52Updated 11 years ago
- Semantic program repair system for C programs☆100Updated 2 years ago
- TSVD is a tool for quickly finding thread-safety violations (e.g., data races) in .NET applications.☆80Updated 2 years ago
- A collection of concurrency bugs. Please cite our ISCA paper "A Case for an Interleaving Constrained Shared-Memory Multi-Processor" if yo…☆60Updated 12 years ago
- AutoRNP -- Automated Repair of High Floating-Point Errors in Numerical Libraries☆11Updated 6 years ago
- CodeBERT based mutation testing tool.☆13Updated 2 months ago
- Mining Error-Handling Bugs without Error Specification Input☆17Updated 5 years ago