xlab-uiuc / ctest-prio-aeView external linksLinks
Test-Case Prioritization for Configuration Testing
☆16Jul 19, 2021Updated 4 years ago
Alternatives and similar repositories for ctest-prio-ae
Users that are interested in ctest-prio-ae are comparing it to the libraries listed below
Sorting:
- Testing Configuration Changes in Context to Prevent Production Failures☆33Dec 11, 2023Updated 2 years ago
- Configuration dependency analysis for cloud software☆23Jan 4, 2022Updated 4 years ago
- "FAST Approaches to Scalable Similarity-based Test Case Prioritization" online material.☆14Mar 27, 2018Updated 7 years ago
- configuration evolution dataset☆18Feb 25, 2021Updated 4 years ago
- This is the respository that holds the artifacts of ASPLOS'25 -- M5: Mastering Page Migration and Memory Management for CXL-based Tiered …☆16Apr 1, 2025Updated 10 months ago
- The configuration files and issues datasets collected from real users☆31Apr 27, 2020Updated 5 years ago
- Open-source code for "On the Feasibility of Parser-based Log Compression in Large-Scale Cloud Systems" (USENIX FAST 2021)☆35Nov 11, 2021Updated 4 years ago
- A Reading List of System Configuration Management☆57Aug 24, 2024Updated last year
- Characterizing the natural language descriptions in software logging statements [ASE'18]☆17Dec 5, 2018Updated 7 years ago
- Disassemblers with various trimming methodologies☆15Jan 1, 2025Updated last year
- Structure-Invariant Testing for Machine Translation [ICSE'20]☆16Dec 17, 2020Updated 5 years ago
- Error-Log Statement Placement by Deep Understanding of Log Intention☆24Dec 23, 2020Updated 5 years ago
- Scalable and Accurate Test Case Prioritization in Continuous Integration Contexts☆20Jul 5, 2022Updated 3 years ago
- ☆21Jan 10, 2019Updated 7 years ago
- ☆51Dec 21, 2025Updated last month
- ☆19Jan 9, 2025Updated last year
- Learning Security Classifiers with Verified Global Robustness Properties (CCS'21) https://arxiv.org/pdf/2105.11363.pdf☆28Dec 1, 2021Updated 4 years ago
- This repository is the code implementing some classic algorithms in co-location pattern minning.☆13May 9, 2014Updated 11 years ago
- A toolkit for testing machine translation [ICSE'20, '21, ESEC/FSE'20]☆33Nov 15, 2021Updated 4 years ago
- SimADFuzz: Simulation-Feedback Fuzz Testing for Autonomous Driving Systems☆10Apr 11, 2025Updated 10 months ago
- ☆36Oct 12, 2022Updated 3 years ago
- Practical Program Repair via Bytecode Mutation☆65Jun 20, 2022Updated 3 years ago
- [ICSE '25] LLM Based Input Space Partitioning Testing for Library APIs☆13Jul 27, 2025Updated 6 months ago
- RISC-V 64 CPU☆10Oct 4, 2025Updated 4 months ago
- ☆11Aug 23, 2023Updated 2 years ago
- COVA - A static analysis tool to compute path conditions☆40Jul 12, 2025Updated 7 months ago
- Transparent serialization of python plain-old-data classes☆12Aug 31, 2022Updated 3 years ago
- Software testing optimization tool for Java☆37Jan 31, 2026Updated 2 weeks ago
- Simple implementation of SHA1 in C☆12Apr 26, 2017Updated 8 years ago
- ☆12Feb 15, 2024Updated 2 years ago
- A tool for cross-checking Verilog compilers☆14Apr 16, 2025Updated 10 months ago
- Code from PLDI '21 paper "Provable Repair of Deep Neural Networks."☆10Nov 26, 2022Updated 3 years ago
- An MLIR-based AI compiler designed for Python frontend to RISC-V DSA☆13Oct 10, 2024Updated last year
- A Rust library to handle OpenSSH key and other common SSH key☆15Jun 3, 2023Updated 2 years ago
- 基于X86架构的简单Cminus语言编译器☆10Apr 1, 2022Updated 3 years ago
- Implementation of Log20 in Java☆12Aug 15, 2018Updated 7 years ago
- Large-Scale Graph Inference☆12Nov 6, 2024Updated last year
- Contains the code (and working vm setup) for our KDD MLG 2016 paper titled: "subgraph2vec: Learning Distributed Representations of Rooted…☆42Apr 29, 2017Updated 8 years ago
- Open Quality Model and Tool Support for Quality Modelling and Evaluation☆11Jun 6, 2018Updated 7 years ago