Alternatives and similar repositories for ecco:

Users that are interested in ecco are comparing it to the libraries listed below

• marcusvnac / argouml-spl
  A product line variant of ArgoUML. ArgoUML is the leading open source UML modeling tool and includes support for all standard UML 1.4 dia…
  ☆6Updated 9 years ago
• FeatureIDE / FeatureIDE
  An extensible framework for feature-oriented software development
  ☆131Updated last month
• SINTEF-9012 / bvr
  Base Variability Resolution (BVR) metamodel, engine and editors
  ☆11Updated 6 years ago
• Greg4cr / sbse-sigsoft-standard
  Proposed ACM SIGSOFT Standard for Optimization Studies in SE (including SBSE).
  ☆23Updated 4 years ago
• se-sic / cppstats
  toolsuite for analyzing cpp-preprocessor-based software product lines
  ☆12Updated last year
• ckaestne / TypeChef
  Type checking ifdef variability
  ☆77Updated 3 years ago
• sosy-lab / llvm-j
  Java bindings for LLVM libraries
  ☆8Updated 3 years ago
• mbeddr / mbeddr.formal
  FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.
  ☆25Updated this week
• SEAL-UCLA / Ref-Finder
  Ref-Finder: A refactoring reconstruction tool
  ☆8Updated 8 years ago
• LorenzoBettini / edelta
  An Xtext DSL for EMF metamodels refactoring and migration
  ☆12Updated this week
• acmsigsoft / submission-checker
  Checks the PDFs submitted to a conference, e.g., for formatting violations and double anonymous violations
  ☆61Updated 3 years ago
• jandom-devel / Jandom
  An abstract-interpretation based static analyzer written in Scala.
  ☆33Updated 3 years ago
• ftsrg / theta
  Generic, modular and configurable formal verification framework supporting various formalisms and algorithms
  ☆52Updated this week
• meinicke / VarexJ
  A Variability-Aware Interpreter for Java Applications
  ☆11Updated 4 years ago
• JUnitContest / JUGE
  junit tools contest infrastructure
  ☆11Updated last year
• but4reuse / but4reuse
  Bottom-Up Technologies for Reuse
  ☆18Updated last year
• loonwerks / jkind
  JKind - An infinite-state model checker for safety properties in Lustre
  ☆53Updated 2 months ago
• kusumotolab / FinerGit
  ☆20Updated 9 months 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 4 months ago
• ultimate-pa / smtinterpol
  SMTInterpol interpolating SMT solver
  ☆63Updated last month
• ataraxie / codeshovel
  Git history navigation for dedicated methods, across all kinds of changes incl. complex refactorings.
  ☆41Updated last year
• ASSERT-KTH / pankti
  Generating tests from production workloads http://arxiv.org/pdf/2012.01198
  ☆18Updated 4 months ago
• MDEGroup / MDEForge
  MDEForge is an extensible modeling framework specifically conceived to support for discovery and reuse of existing modeling artefacts. MD…
  ☆22Updated 2 years ago
• thierry-tct / mart
  LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM
  ☆26Updated 2 years ago
• dvmarcilio / SpongeBugs
  SpongeBugs: Automatically Generating Fix Suggestions for SonarQube / SpotBugs
  ☆23Updated 3 years ago
• JetBrains / MPS-extensions
  MPS-extensions aims to ease language development within MPS.
  ☆85Updated this week
• jodavimehran / code-tracker
  ☆19Updated 2 months ago
• SoftVarE-Group / Course-on-Software-Product-Lines
  Material for lectures on software product lines
  ☆14Updated last month
• SpoonLabs / nopol
  Automatic program repair system for Java based on dynamic analysis and code synthesis with SMT. Also contains the code of Dynamoth.
  ☆98Updated 5 months ago
• bugcounting / software-analysis
  Material (mostly slides) for a graduate course on (formal) software analysis.
  ☆32Updated 5 years ago