Alternatives and similar repositories for teaching:

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

• Greg4cr / sbse-sigsoft-standard
  Proposed ACM SIGSOFT Standard for Optimization Studies in SE (including SBSE).
  ☆23Updated 4 years ago
• bugcounting / software-analysis
  Material (mostly slides) for a graduate course on (formal) software analysis.
  ☆32Updated 5 years 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
• MagpieBridge / MagpieBridge
  MagpieBridge LSP Framework --- A simple solution for your analysis IDE integration
  ☆80Updated 6 months ago
• Universal-Variability-Language / uvl-parser
  ☆11Updated 6 months ago
• but4reuse / but4reuse
  Bottom-Up Technologies for Reuse
  ☆18Updated last year
• emsejournal / openscience
  Empirical Software Engineering journal (EMSE) open science and reproducible research initiative
  ☆34Updated 5 months ago
• sosy-lab / llvm-j
  Java bindings for LLVM libraries
  ☆8Updated 3 years ago
• acmsigsoft / submission-checker
  Checks the PDFs submitted to a conference, e.g., for formatting violations and double anonymous violations
  ☆61Updated 3 years ago
• msv-lab / angelix
  Semantic program repair system for C programs
  ☆99Updated 2 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
• diffblue / 2ls
  Static Analyzer and Verifier
  ☆47Updated 5 months ago
• eclipse-gemoc / gemoc-studio
  gemoc-studio
  ☆26Updated last month
• KeYProject / key
  KeY Theorem Prover for Deductive Java Verification
  ☆54Updated last week
• OpenJML / OpenJML
  This is the primary repository for the source code of the OpenJML project. The source code is licensed under GPLv2 because it derives fro…
  ☆151Updated last month
• cmuvariability / PaperReadingGroup
  ☆10Updated 10 years ago
• mjureczko / CKJM-extended
  An extended version of Tool for Calculating Chidamber and Kemerer Java Metrics (and many other metrics)
  ☆28Updated this week
• david-schuler / javalanche
  Efficient Mutation Testing for Java
  ☆38Updated 2 years ago
• lisa-analyzer / lisa
  📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis
  ☆56Updated last month
• se-sic / SPLConqueror
  SPL Conqueror is a library to learn the influence of configuration options of configurable software systems on non-functional properties.
  ☆23Updated 9 months ago
• PrAbsInt / appendix
  Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…
  ☆41Updated 3 years ago
• ataraxie / codeshovel
  Git history navigation for dedicated methods, across all kinds of changes incl. complex refactorings.
  ☆41Updated last year
• abstools / abstools
  The ABS modeling language and surrounding tools
  ☆37Updated 3 weeks ago
• jku-isse / ecco
  Feature-Oriented and Distributed Version Control System
  ☆16Updated this week
• opalj / opal
  ☆58Updated last month
• joliebig / featurehouse
  language independent software composition and merging
  ☆31Updated 8 years ago
• clowdr-app / clowdr-web-app
  Old Clowdr versions 1 & 2 from 2020
  ☆36Updated 4 years ago
• smtlib / jSMTLIB
  jSMTLIB is an open source implementation of SMT-LIB in Java, as a command-line tool, an Eclipse plugin, and an API, with interfaces to ma…
  ☆26Updated 2 years ago
• ckaestne / TypeChef
  Type checking ifdef variability
  ☆77Updated 3 years ago