HUB-SE (@hub-se)
Guthub

hub-se

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    33
  • Global Org. Rank 95,791 (Top 31 %)
  • Registered over 8 years ago
  • Most used languages
    Java
         85.7 %
    C++
         14.3 %
  • Location 🇩🇪 Germany
  • Country Total Rank 19,581
  • Country Ranking
    Java
         1,674
    C++
         7,612

Top repositories

1

BeDivFuzz

Java
12
star
2

MoFuzz

A fuzzer suite for testing model-driven software engineering tools
Java
6
star
3

jpf-shadow

JPF extension for shadow symbolic execution.
Java
5
star
4

BugLoRD

A toolkit for "Bug Location and Repair of Defects".
Java
4
star
5

PSP-UPPAAL

Property Specification Patterns for UPPAAL
Java
2
star
6

jpf-shadow-plus

Java
2
star
7

PAP

C++
2
star