Giters
HUB-SE (hub-se)

HUB-SE

hub-se

Geek Repo

Humboldt University Berlin - Software Engineering

Location:Berlin, Germany

Home Page:https://www.informatik.hu-berlin.de/de/forschung/gebiete/se

Github PK Tool:Github PK Tool

HUB-SE's repositories

BeDivFuzz

Language:JavaLicense:BSD-2-ClauseStargazers:12Issues:6Issues:0

MoFuzz

A fuzzer suite for testing model-driven software engineering tools

Language:JavaLicense:MITStargazers:6Issues:6Issues:0

jpf-shadow

JPF extension for shadow symbolic execution.

Language:JavaLicense:Apache-2.0Stargazers:5Issues:7Issues:1

BugLoRD

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

Language:JavaStargazers:4Issues:4Issues:0

PSP-UPPAAL

Property Specification Patterns for UPPAAL

Language:JavaStargazers:4Issues:6Issues:0

PAP

Language:C++License:MITStargazers:3Issues:2Issues:0

jpf-shadow-plus

Language:JavaLicense:Apache-2.0Stargazers:2Issues:7Issues:0

fuzzingcmscodeparsers

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

Language:PythonLicense:NOASSERTIONStargazers:0Issues:7Issues:0

HUB-SE-framework

Language:JavaStargazers:0Issues:3Issues:0

soot

Soot - A Java optimization framework

Language:JavaLicense:LGPL-2.1Stargazers:0Issues:7Issues:0

astor

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

Language:JavaLicense:GPL-2.0Stargazers:0Issues:6Issues:0

intellij-coverage

IntelliJ IDEA code coverage agent

Language:JavaLicense:NOASSERTIONStargazers:0Issues:1Issues:0

visual-trace-debugger

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

Language:JavaStargazers:0Issues:9Issues:0