Alternatives and similar repositories for swsv-labs:

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

• viatra / VIATRA-Generator
  An efficient graph solver for generating well-formed models
  ☆26Updated 2 years ago
• ftsrg / trainbenchmark
  The Train Benchmark framework for evaluating incremental model validation performance
  ☆12Updated 2 years ago
• WebFuzzing / EMB
  EvoMaster Benchmark (EMB): a set of web/enterprise applications for experimentation in automated system testing
  ☆31Updated 2 weeks ago
• SpoonLabs / coming
  A tool for mining commits from Git repositories and diffs to automatically extract code change pattern instances and features with ast a…
  ☆95Updated 2 months ago
• gemoc / farmingmodeling
  DSLs for modeling and analyzing farming systems
  ☆11Updated 7 years ago
• 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.
  ☆81Updated 3 months ago
• stephenfreund / RoadRunner
  ☆71Updated 7 years ago
• GZoltar / gzoltar
  GZoltar - Java Library for Automatic Debugging http://www.gzoltar.com
  ☆77Updated 4 months ago
• JetBrains / MPS-extensions
  MPS-extensions aims to ease language development within MPS.
  ☆83Updated this week
• JetBrains-Research / python-change-miner
  A tool for mining graph-based change patterns in Python code
  ☆19Updated 7 months ago
• graphs4value / refinery
  Refinery: an efficient graph solver for generating well-formed models
  ☆16Updated this week
• squaresLab / genprog-code
  GenProg: heuristic, GP-based automatic program repair for C.
  ☆93Updated 3 years ago
• utwente-fmt / ltsmin
  The LTSmin model checking toolset
  ☆56Updated 2 months ago
• ftsrg / cheat-sheets
  Getting started tutorials and cheat sheets for various technologies used in our projects.
  ☆79Updated 5 years ago
• sosy-lab / llvm-j
  Java bindings for LLVM libraries
  ☆8Updated 3 years ago
• bme-db-lab / Functional-Dependency-Calculator
  Declarative algorithms for simple operations on relational schemas and functional dependency sets (e.g. minimal cover, highest normal for…
  ☆25Updated 3 years ago
• ftsrg / gamma
  An Eclipse-based modeling framework for the component-based design and analysis of reactive systems
  ☆31Updated this week
• diverse-project / k3
  action language providing open class mechanism to xtend/java
  ☆25Updated last year
• gemoc / gemoc-studio-old
  ☆12Updated 6 years ago
• anmavrid / DesignBIP
  ☆11Updated 7 years ago
• psycopaths / jconstraints
  A constraint solver abstraction layer for Java
  ☆21Updated last year
• diverse-project / melange
  The Melange Language Workbench
  ☆29Updated last year
• gkastrinis / panda
  A Datalog compiler and library
  ☆19Updated 3 years ago
• cyrille-artho / modbat
  Modbat is a model-based API tester for stateful systems.
  ☆20Updated last year
• modelix / modelix
  A collaborative and scalable open source platform for domain-specific models on the web and in the cloud
  ☆69Updated 9 months ago
• sealuzh / PerformanceHat
  A Feedback-driven development plugin for the Eclipse IDE
  ☆15Updated 5 years ago
• STAMP-project / botsing
  Botsing is a Java framework for crash reproduction. It depends on EvoSuite (http://www.evosuite.org) for code instrumentation.
  ☆32Updated 2 years ago
• markusvoelter / mpsintrocourse
  ☆43Updated 11 months ago
• coolya / mps.rocks
  A curated list of awesome MPS extensions/libraries, software and resources.
  ☆61Updated 7 months ago
• JUnitContest / JUGE
  junit tools contest infrastructure
  ☆11Updated 11 months ago