Pinned Repositories
BeDivFuzz
BugLoRD
A toolkit for "Bug Location and Repair of Defects".
fuzzingcmscodeparsers
Grammar-based Fuzzing of Data Integration Parsers in Computational Materials Science
HUB-SE-framework
jpf-shadow
JPF extension for shadow symbolic execution.
jpf-shadow-plus
MoFuzz
A fuzzer suite for testing model-driven software engineering tools
PAP
PSP-UPPAAL
Property Specification Patterns for UPPAAL
soot
Soot - A Java optimization framework
HUB-SE's Repositories
hub-se/BeDivFuzz
hub-se/MoFuzz
A fuzzer suite for testing model-driven software engineering tools
hub-se/jpf-shadow
JPF extension for shadow symbolic execution.
hub-se/BugLoRD
A toolkit for "Bug Location and Repair of Defects".
hub-se/PSP-UPPAAL
Property Specification Patterns for UPPAAL
hub-se/PAP
hub-se/jpf-shadow-plus
hub-se/fuzzingcmscodeparsers
Grammar-based Fuzzing of Data Integration Parsers in Computational Materials Science
hub-se/HUB-SE-framework
hub-se/soot
Soot - A Java optimization framework
hub-se/astor
automatic program repair for Java with generate-and-validate techniques: jGenProg (2014) - jMutRepair (2016) - jKali (2016) - DeepRepair (2017) - Cardumen (2018)
hub-se/intellij-coverage
IntelliJ IDEA code coverage agent
hub-se/visual-trace-debugger
IntelliJ plugin that provides navigable views of execution traces, supported by (simple) automated fault localization.