cps-sei / swimLinks
SWIM - A Simulator of Web Infrastructure and Management
☆17Updated 3 years ago
Alternatives and similar repositories for swim
Users that are interested in swim are comparing it to the libraries listed below
Sorting:
- Rainbow self-adaptive framework☆32Updated 2 years ago
- Chaos engineering systems invented at KTH Royal Institute of Technology. http://urn.kb.se/resolve?urn=urnsediva-320638☆136Updated 8 months ago
- Proposed ACM SIGSOFT Standard for Optimization Studies in SE (including SBSE).☆23Updated 4 years ago
- The main development version of the PRISM model checker.☆172Updated this week
- Collaborative Datacenter Simulation and Exploration for Everybody☆87Updated last week
- A Modern Probabilistic Model Checker☆147Updated this week
- ☆287Updated 3 weeks ago
- Inferring models of systems from observations of their behavior☆83Updated 2 years ago
- Generating tests from production workloads http://arxiv.org/pdf/2012.01198☆18Updated 7 months ago
- Implementation of the Rice University Bidding System (RUBiS)☆16Updated 9 years ago
- An efficient graph solver for generating well-formed models☆25Updated 3 years ago
- Human-readable Simulations with CloudSim☆8Updated last year
- A free, open-source Java library for modeling automata, graphs, and transition systems☆94Updated 2 weeks ago
- Botsing is a Java framework for crash reproduction. It depends on EvoSuite (http://www.evosuite.org) for code instrumentation.☆33Updated 2 years ago
- Material (mostly slides) for a graduate course on (formal) software analysis.☆32Updated 5 years ago
- Kieker is an observability framework, that consists of an monitoring and tracing agent, and compatible analysis tools☆106Updated this week
- A Framework for Reasoning about System Performance using Causal AI☆42Updated 3 years ago
- Microservice Dependency Graph Dataset☆42Updated 4 years ago
- Set of tools for validating, visualizing and analyzing TOSCA resource descriptions☆16Updated 3 months ago
- Simulator for modeling energy consumption in cloud, fog, and edge computing environments 🌱☆112Updated last year
- ☆56Updated last year
- Tools and standards for conducting and evaluating research in software engineering☆308Updated this week
- A generic evolutionary game theory simulation library☆69Updated 10 years ago
- Gamification of Mutation Testing☆42Updated 3 weeks ago
- Automatic program repair system for Java based on dynamic analysis and code synthesis with SMT. Also contains the code of Dynamoth.☆98Updated 7 months ago
- Modbat is a model-based API tester for stateful systems.☆23Updated 2 years ago
- ☆15Updated 6 years ago
- SeMoDe is a tool to support lifecycle activites of Serverless functions on different platforms. Currently automated test generation on AW…☆14Updated last year
- Research material about software engineering at KTH☆17Updated 10 months ago
- Software Engineering for AI/ML -- An Annotated Bibliography☆328Updated 10 months ago