Alternatives and similar repositories for teaching:

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

• runtimeverification / rv-monitor
  RV-Monitor core system code
  ☆16Updated 3 years ago
• Greg4cr / sbse-sigsoft-standard
  Proposed ACM SIGSOFT Standard for Optimization Studies in SE (including SBSE).
  ☆23Updated 3 years ago
• bugcounting / software-analysis
  Material (mostly slides) for a graduate course on (formal) software analysis.
  ☆32Updated 5 years ago
• but4reuse / but4reuse
  Bottom-Up Technologies for Reuse
  ☆18Updated last year
• KeYProject / key
  KeY Theorem Prover for Deductive Java Verification
  ☆53Updated 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
• emsejournal / openscience
  Empirical Software Engineering journal (EMSE) open science and reproducible research initiative
  ☆34Updated 3 months ago
• lorisdanto / symbolicautomata
  Library for symbolic automata and symbolic visibly pushdown automata
  ☆68Updated last week
• ckaestne / TypeChef
  Type checking ifdef variability
  ☆77Updated 3 years ago
• 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…
  ☆149Updated 3 weeks ago
• cmuvariability / PaperReadingGroup
  ☆10Updated 10 years ago
• JetBrains-Research / python-change-miner
  A tool for mining graph-based change patterns in Python code
  ☆19Updated 9 months ago
• squaresLab / footpatch
  ☆15Updated 5 years ago
• KIT-TVA / CorC
  Tool Support for Correctness-by-Construction
  ☆27Updated last week
• kelloggm / object-construction-checker
  An extension to the Java type system to catch badly-behaving builder patterns
  ☆12Updated 2 years ago
• pcminer-tools / pcminer
  PC-miner tool for program chairs
  ☆24Updated 2 months ago
• nguyenhoan / CPatMiner
  ☆21Updated last year
• SpoonLabs / nopol
  Automatic program repair system for Java based on dynamic analysis and code synthesis with SMT. Also contains the code of Dynamoth.
  ☆98Updated 4 months ago
• jayhorn / jayhorn
  Static checker for Java
  ☆85Updated last month
• TestingResearchIllinois / starts
  STARTS - A tool for STAtic Regression Test Selection
  ☆29Updated 7 months ago
• stephenfreund / RoadRunner
  ☆71Updated 7 years ago
• diffblue / 2ls
  Static Analyzer and Verifier
  ☆46Updated 4 months ago
• squaresLab / genprog-code
  GenProg: heuristic, GP-based automatic program repair for C.
  ☆93Updated 3 years ago
• program-repair / program-repair.github.io
  Automated program repair bibliography, tools and benchmarks.
  ☆76Updated 3 months ago
• se-sic / cppstats
  toolsuite for analyzing cpp-preprocessor-based software product lines
  ☆11Updated last year
• 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
• AToMPM / atompm
  A Tool for Multi-Paradigm Modeling
  ☆23Updated 5 months ago
• LearnLib / automatalib
  A free, open-source Java library for modeling automata, graphs, and transition systems
  ☆95Updated 2 weeks ago
• clowdr-app / clowdr-web-app
  Old Clowdr versions 1 & 2 from 2020
  ☆36Updated 4 years ago