Alternatives and similar repositories for swsv-labs:

Users that are interested in swsv-labs are comparing it to the libraries listed below

• dakusui / jcunit
  A Combinatorial Testing + Model-based Testing framework on top of Java+JUnit. Model your application as code and let JCUnit do the rest.
  ☆82Updated 2 months ago
• cyrille-artho / modbat
  Modbat is a model-based API tester for stateful systems.
  ☆23Updated last year
• ftsrg / trainbenchmark
  The Train Benchmark framework for evaluating incremental model validation performance
  ☆12Updated 2 years ago
• viatra / VIATRA-Generator
  An efficient graph solver for generating well-formed models
  ☆25Updated 3 years ago
• ftsrg / cheat-sheets
  Getting started tutorials and cheat sheets for various technologies used in our projects.
  ☆79Updated 5 years ago
• osmo-tool / osmo
  Model Based Testing Tool
  ☆34Updated 3 years ago
• STAMP-project / botsing
  Botsing is a Java framework for crash reproduction. It depends on EvoSuite (http://www.evosuite.org) for code instrumentation.
  ☆33Updated 2 years ago
• eclipse-sprotty / sprotty-server
  Server implementation for the Sprotty diagramming framework
  ☆24Updated 5 months ago
• xserban / GraphRepo
  Github repo to Neo4j (and back)
  ☆19Updated 3 years ago
• moves-rwth / storm
  A Modern Probabilistic Model Checker
  ☆147Updated last week
• SpoonLabs / coming
  A tool for mining commits from Git repositories and diffs to automatically extract code change pattern instances and features with ast a…
  ☆97Updated 5 months ago
• kevoree-modeling / framework
  The Kevoree Modeling Framework
  ☆42Updated 8 years ago
• STAMP-project / dspot
  Automatically detect and generate missing assertions for Junit test cases (also known as test amplification)
  ☆117Updated 9 months ago
• markusvoelter / mpsintrocourse
  ☆44Updated last year
• gliga / ekstazi
  Software testing optimization tool
  ☆28Updated last year
• mcoblenz / Glacier
  Glacier is a type annotation extension to Java that enforces transitive class immutability.
  ☆13Updated 3 years ago
• WebFuzzing / EMB
  EvoMaster Benchmark (EMB): a set of web/enterprise applications for experimentation in automated system testing
  ☆33Updated last week
• sealuzh / PerformanceHat
  A Feedback-driven development plugin for the Eclipse IDE
  ☆15Updated 5 years ago
• jeffoffutt / muJava
  Mutation system for Java programs, including OO mutation operators.
  ☆67Updated 6 years ago
• LearnLib / automatalib
  A free, open-source Java library for modeling automata, graphs, and transition systems
  ☆95Updated last month
• MontiCore / monticore
  MontiCore is a language workbench for an efficient development of domain-specific languages.
  ☆87Updated last week
• jlink / how-to-specify-it
  "How to Specify it" in Java and jqwik
  ☆24Updated 3 years ago
• STAMP-project / pitest-descartes
  Descartes supports developers to improve their test suites by reporting weak spots in covered code
  ☆126Updated 2 months ago
• graphs4value / refinery
  Refinery: an efficient graph solver for generating well-formed models
  ☆16Updated this week
• ASSERT-KTH / sorald
  Automatic repair system for static analysis warnings from SonarQube's SonarJava, TDSC 2022 http://arxiv.org/pdf/2103.12033
  ☆94Updated last week
• RetailMeNot / pairwise
  Java implementation of Combinatorial Test Case Generation
  ☆45Updated last year
• JUnitContest / JUGE
  junit tools contest infrastructure
  ☆11Updated last year
• JetBrains-Research / RefactorInsight
  An IntelliJ IDEA plugin that detects refactorings in Git commits
  ☆106Updated last year
• JetBrains-Research / python-change-miner
  A tool for mining graph-based change patterns in Python code
  ☆19Updated 11 months ago
• Refactoring-Bot / Refactoring-Bot
  Implementing the vision of an autonomous bot to eliminate code smells through automatic refactoring.
  ☆61Updated 2 years ago