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
  ☆25Updated 3 years ago
• softvis-research / Getaviz
  With Getaviz you can solve software engineering problems visually by exploring software artifacts them in 2D, 3D, and virtual reality.
  ☆51Updated 2 years ago
• SpoonLabs / gumtree-spoon-ast-diff
  Computes the AST difference (aka edit script) between two Spoon Java source code abstract syntax trees
  ☆167Updated last week
• graphs4value / refinery
  Refinery: an efficient graph solver for generating well-formed models
  ☆17Updated last week
• MontiCore / monticore
  MontiCore is a language workbench for an efficient development of domain-specific languages.
  ☆88Updated this week
• mcoblenz / Glacier
  Glacier is a type annotation extension to Java that enforces transitive class immutability.
  ☆13Updated 3 years ago
• stephenfreund / RoadRunner
  ☆75Updated 7 years 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…
  ☆98Updated 6 months ago
• JUnitContest / JUGE
  junit tools contest infrastructure
  ☆11Updated last year
• gliga / ekstazi
  Software testing optimization tool
  ☆29Updated last year
• ASSERT-KTH / flacoco
  FLACOCO: Fault Localization for Java based on Industry-grade Coverage http://arxiv.org/pdf/2111.12513
  ☆30Updated last week
• cyrille-artho / modbat
  Modbat is a model-based API tester for stateful systems.
  ☆23Updated 2 years ago
• vorpal-research / kex
  A platform for analysis of Java bytecode
  ☆31Updated 7 months ago
• ftsrg / cheat-sheets
  Getting started tutorials and cheat sheets for various technologies used in our projects.
  ☆79Updated 6 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.
  ☆82Updated 3 weeks ago
• jeffoffutt / muJava
  Mutation system for Java programs, including OO mutation operators.
  ☆67Updated 6 years ago
• diverse-project / maven-miner
  This projects mines maven central and creates a global dependency graph
  ☆32Updated 2 years ago
• SpoonLabs / astor
  Automatic program repair for Java with generate-and-validate techniques : jGenProg (2014) - jMutRepair (2016) - jKali (2016) - DeepRepai…
  ☆210Updated 2 months ago
• logic-ng / LogicNG
  The Next Generation Logic Library
  ☆142Updated 6 months ago
• ftsrg-edu / lecture-notes
  Some lecture notes of the research group
  ☆14Updated 3 years ago
• markusvoelter / mpsintrocourse
  ☆44Updated last year
• osl / jcute
  Java Concolic Unit Testing Engine
  ☆89Updated 10 years ago
• STAMP-project / pitest-descartes
  Descartes supports developers to improve their test suites by reporting weak spots in covered code
  ☆126Updated 3 months ago
• freon4dsl / Freon4dsl
  Web Native language Workbench with Projectional Web Editor
  ☆69Updated this week
• 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
• WebFuzzing / EMB
  EvoMaster Benchmark (EMB): a set of web/enterprise applications for experimentation in automated system testing
  ☆35Updated this week
• LearnLib / automatalib
  A free, open-source Java library for modeling automata, graphs, and transition systems
  ☆94Updated 2 weeks ago
• jcabot / ocl-repository
  A repository for examples of all kinds of OCL (Object Constraint Language) expressions
  ☆24Updated 8 years ago
• ASSERT-KTH / sorald
  Automatic repair system for static analysis warnings from SonarQube's SonarJava, TDSC 2022 http://arxiv.org/pdf/2103.12033
  ☆94Updated 2 weeks ago
• ksen007 / janala2
  a concolic testing engine for Java
  ☆106Updated 7 years ago