Testing Configuration Changes in Context to Prevent Production Failures
☆34Dec 11, 2023Updated 2 years ago
Alternatives and similar repositories for openctest
Users that are interested in openctest are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Test-Case Prioritization for Configuration Testing☆16Jul 19, 2021Updated 5 years ago
- configuration evolution dataset☆18Feb 25, 2021Updated 5 years ago
- A Reading List of System Configuration Management☆58Aug 24, 2024Updated last year
- Push-Button End-to-End Testing of Kubernetes Operators and Controllers☆136Jul 14, 2026Updated last week
- SysMoBench: Evaluating AI on Formally Modeling Complex Real-World Systems☆22Jul 13, 2026Updated last week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- (elastic) cuckoo hashing☆17Jun 20, 2020Updated 6 years ago
- https://hub.docker.com/r/clangbuiltlinux/ubuntu/☆12Jan 20, 2021Updated 5 years ago
- EMT: An OS Framework for New Memory Translation Architectures☆36Jul 22, 2025Updated last year
- Automatic Reliability Testing for Kubernetes Controllers and Operators☆347Sep 26, 2024Updated last year
- ☆23Updated this week
- ☆17Apr 15, 2025Updated last year
- A tool for automatically verifying configuration files☆20Oct 7, 2023Updated 2 years ago
- Anvil is an experimental framework to build practical, formally verified, cluster management controllers.☆189Updated this week
- ☆28Sep 17, 2024Updated last year
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A pure C++11 based parallel programming library☆15Aug 22, 2016Updated 9 years ago
- This is the repo for remote direct memory introspection.☆25Jun 21, 2023Updated 3 years ago
- This is the respository that holds the artifacts of ASPLOS'25 -- M5: Mastering Page Migration and Memory Management for CXL-based Tiered …☆17Apr 1, 2025Updated last year
- Analyzing Configuration Dependencies of File Systems [FAST'23, HotStorage'22]☆11May 17, 2025Updated last year
- Bash function library☆23Aug 27, 2024Updated last year
- ☆20Jan 9, 2025Updated last year
- oh my soot !☆92Aug 10, 2022Updated 3 years ago
- Linux call graph visualization☆29Jul 16, 2018Updated 8 years ago
- Copilot source code☆13Nov 18, 2021Updated 4 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Repository of the paper 'CodeQueries: A Dataset of Semantic Queries over Code' published in ISEC 2024☆13Apr 21, 2024Updated 2 years ago
- ☆13Jan 22, 2024Updated 2 years ago
- fuzzing for config☆12Sep 15, 2020Updated 5 years ago
- A holistic framework to enable the design, development, and evaluation of autonomous AIOps agents.☆11May 21, 2025Updated last year
- 识别人脸区域、提取关键点、识别情绪、活体检测☆13Dec 14, 2021Updated 4 years ago
- Course website for Systems Verification Fall 2024☆14Jul 10, 2025Updated last year
- ☆24May 23, 2023Updated 3 years ago
- Cyber-Physical Inconsistency Identification for Safety Checks in Robotic Vehicles☆10Oct 13, 2022Updated 3 years ago
- Tool for generating regression tests☆16Mar 24, 2023Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- System Intelligence Benchmark☆54May 9, 2026Updated 2 months ago
- ⚠️ ARCHIVED - All development moved to https://github.com/itbench-hub/ITBench-CISO-SRE-FinOps-Agent☆21Sep 9, 2025Updated 10 months ago
- This project was conducted by the 10th KITRI BoB (Best of the Best), and recorded what we have done for vulnerability analysis of drones.☆12Dec 30, 2021Updated 4 years ago
- ☆22Jan 10, 2019Updated 7 years ago
- Logitech keyboard wake and FN swap udev rules☆10Mar 14, 2022Updated 4 years ago
- GCNO and GCDA parser and writer implementation in Dart☆14Feb 27, 2017Updated 9 years ago
- ⚠️ ARCHIVED - All development moved to https://github.com/itbench-hub/ITBench/tree/main/scenarios☆16Feb 24, 2026Updated 5 months ago