ASSERT-KTH / royal-chaos
Chaos engineering systems invented at KTH Royal Institute of Technology. http://urn.kb.se/resolve?urn=urnsediva-320638
☆136Updated 7 months ago
Alternatives and similar repositories for royal-chaos
Users that are interested in royal-chaos are comparing it to the libraries listed below
Sorting:
- Research material about software engineering at KTH☆17Updated 9 months ago
- Modbat is a model-based API tester for stateful systems.☆23Updated last year
- Panorama: Capturing and Enhancing In Situ System Observability for Failure Detection☆117Updated 4 years ago
- Language-independent, search-based program repair -- just your cup of tea! ☕☆29Updated 10 months ago
- Chaos Engineering Working Group☆113Updated 4 years ago
- ☆21Updated 3 years ago
- Botsing is a Java framework for crash reproduction. It depends on EvoSuite (http://www.evosuite.org) for code instrumentation.☆33Updated 2 years ago
- A tool to visualize distributed system logs☆79Updated 3 years ago
- A stateless model checker powered by maximal causality reduction☆38Updated 4 years ago
- a concolic testing engine for Java☆106Updated 7 years ago
- 🐝 BPFBox 📦 Exploring process confinement in eBPF☆102Updated last year
- The DaCapo benchmark suite☆175Updated last week
- Jepsen and Elle based Consistency Checking Interface☆20Updated 3 years ago
- Projects related to end-to-end tracing and causal metadata propagation, such as X-Trace, Retro, and Pivot Tracing☆87Updated 2 years ago
- A micro-service reference test application for model extraction, cloud management, energy efficiency, power prediction, single- and multi…☆132Updated 4 months ago
- A tool for mining commits from Git repositories and diffs to automatically extract code change pattern instances and features with ast a…☆97Updated 6 months ago
- TLA+ specification of Fast Flexible Paxos☆18Updated 4 years ago
- Declarative cluster management using constraint programming, where constraints are described using SQL.☆101Updated 2 years ago
- A testing framework for distributed systems that can inject different types of network-partitioning faults☆15Updated 3 years ago
- An implementation of LDFI☆127Updated 6 years ago
- Test-Case Prioritization for Configuration Testing☆16Updated 3 years ago
- Inferring models of systems from observations of their behavior☆83Updated 2 years ago
- The configuration files and issues datasets collected from real users☆31Updated 5 years ago
- Yajta is a extensible library for bytecode probe insertion, built on top of javassist. Its transformations may be applied at load time wi…☆15Updated 2 years ago
- Source-code based coverage for eBPF programs actually running in the Linux kernel☆132Updated 3 months ago
- fuzzing for config☆13Updated 4 years ago
- GenProg: heuristic, GP-based automatic program repair for C.☆94Updated 3 years ago
- ThorFI: A Novel Approach for Network Fault Injection as a Service☆8Updated 3 years ago
- ☆142Updated 3 weeks ago
- A BPF-based syscall fault injector☆102Updated 2 years ago