instein98 Goto Github PK

automatic-repair-for-cuda-synchronization-bugs

Automatically Repair Three Types of CUDA Synchronization Bugs in Code Level

autoupdater-qt

An automatic program updater implemented in Qt.

azure-tools

classming-myversion

covdiff

Find the coverage difference on library code between libraries' tests and client projects' tests

cp-ddd-framework

A lightweight flexible development framework for complex business architecture with full ecosystem！轻量级业务中台开发框架，中台架构的顶层设计和完整解决方案！

ctf_deathmatch

A CTF car game project by Instein98.

cure

Artefact for CURE: Code-Aware Neural Machine Translation for Automatic Program Repair

d4j_maven

Pre-configured Defects4J 1.2 programs with pom files

d4jmvnforuniapr

d4jochiai

Ochiai fault localization results for Defects4J buggy projects

ec-gecco2020

Evolutionary Niching Algorithms for Multimodal Optimization

flapr

grammars-v4

Grammars written for ANTLR v4; expectation that the grammars are free of actions.

gzoltar

GZoltar - Java Library for Automatic Debugging http://www.gzoltar.com

idoft

javalang

Pure Python Java parser and tools

jqf

JQF + Zest: Coverage-guided semantic fuzzing for Java.

nondex

A tool for finding assumptions on APIs with under-determined specifications.

npr4j

odet

pitest

State of the art mutation testing system for the JVM

playablelab

prapr-sc

Official repository for PraPR source code

prapr_data_parser

purityanalysis

A method m is pure if it never modifies an object that existed prior to it’s invocation.

scm-example

sustechmonopoly

A 3D online monopoly game base on the campus life at SUSTech.

tbar

Template-based Automated Program Repair

templatejavaagent

A template for a bytecode instrumentation javaagent.