Repositories list

• HUB-SE-framework

  Public
  Java

  •1•0•0•1•Updated Dec 19, 2025Dec 19, 2025

• BugLoRD

  Public
  A toolkit for "Bug Location and Repair of Defects".

  Java

  •5•4•0•1•Updated Jul 12, 2025Jul 12, 2025

• BeDivFuzz

  Public
  Java

  •

  BSD 2-Clause "Simplified" License

  •4•17•1•0•Updated Jul 11, 2025Jul 11, 2025

• fuzzingcmscodeparsers

  Public
  Grammar-based Fuzzing of Data Integration Parsers in Computational Materials Science

  Python

  •

  Other

  •0•0•0•0•Updated Nov 20, 2023Nov 20, 2023

• PAP

  Public
  C++

  •

  MIT License

  •0•3•0•0•Updated May 14, 2023May 14, 2023

• PSP-UPPAAL

  Public
  Property Specification Patterns for UPPAAL

  verificationspecification-patternmodel-checking+ 1uppaal

  Java

  •0•4•0•0•Updated Dec 16, 2021Dec 16, 2021

• visual-trace-debugger

  Public
  IntelliJ plugin that provides navigable views of execution traces, supported by (simple) automated fault localization.

  Java

  •4•0•0•0•Updated Sep 7, 2020Sep 7, 2020

• MoFuzz

  Public
  A fuzzer suite for testing model-driven software engineering tools

  Java

  •

  MIT License

  •2•8•0•0•Updated Aug 8, 2020Aug 8, 2020

• intellij-coverage

  Public
  IntelliJ IDEA code coverage agent

  Java

  •

  Other

  •40•0•0•0•Updated Jun 26, 2020Jun 26, 2020

• jpf-shadow-plus

  Public
  Java

  •

  Apache License 2.0

  •0•2•0•0•Updated Nov 6, 2019Nov 6, 2019

• jpf-shadow

  Public
  JPF extension for shadow symbolic execution.

  Java

  •

  Apache License 2.0

  •1•5•0•0•Updated Sep 11, 2019Sep 11, 2019

• astor

  Public
  automatic program repair for Java with generate-and-validate techniques: jGenProg (2014) - jMutRepair (2016) - jKali (2016) - DeepRepair (2017) - Cardumen (2018)

  Java

  •

  GNU General Public License v2.0

  •109•0•0•0•Updated Jul 4, 2019Jul 4, 2019

• soot

  Public
  Soot - A Java optimization framework

  Java

  •

  GNU Lesser General Public License v2.1

  •721•0•0•0•Updated Jun 6, 2018Jun 6, 2018