Pinned Repositories
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
D4jOchiai
Ochiai fault localization results for Defects4J buggy projects
EC-GECCO2020
Evolutionary Niching Algorithms for Multimodal Optimization
ODet
PurityAnalysis
A method m is pure if it never modifies an object that existed prior to it’s invocation.
SustechMonopoly
A 3D online monopoly game base on the campus life at SUSTech.
TheHookMan
A vertical-scroll game inspired by Doodle Jump.
Instein98's Repositories
Instein98/D4jOchiai
Ochiai fault localization results for Defects4J buggy projects
Instein98/EC-GECCO2020
Evolutionary Niching Algorithms for Multimodal Optimization
Instein98/ODet
Instein98/Automatic-Repair-for-CUDA-Synchronization-Bugs
Automatically Repair Three Types of CUDA Synchronization Bugs in Code Level
Instein98/azure-tools
Instein98/classming-myversion
Instein98/PurityAnalysis
A method m is pure if it never modifies an object that existed prior to it’s invocation.
Instein98/SustechMonopoly
A 3D online monopoly game base on the campus life at SUSTech.
Instein98/TheHookMan
A vertical-scroll game inspired by Doodle Jump.
Instein98/CovDiff
Find the coverage difference on library code between libraries' tests and client projects' tests
Instein98/cp-ddd-framework
A lightweight flexible development framework for complex business architecture with full ecosystem！轻量级业务中台开发框架，中台架构的顶层设计和完整解决方案！
Instein98/CURE
Artefact for CURE: Code-Aware Neural Machine Translation for Automatic Program Repair
Instein98/D4J_Maven
Pre-configured Defects4J 1.2 programs with pom files
Instein98/D4jMvnForUniapr
Instein98/flapr
Instein98/grammars-v4
Grammars written for ANTLR v4; expectation that the grammars are free of actions.
Instein98/gzoltar
GZoltar - Java Library for Automatic Debugging http://www.gzoltar.com
Instein98/idoft
Instein98/javalang
Pure Python Java parser and tools
Instein98/JQF
JQF + Zest: Coverage-guided semantic fuzzing for Java.
Instein98/NonDex
A tool for finding assumptions on APIs with under-determined specifications.
Instein98/NPR4J
Instein98/pitest
State of the art mutation testing system for the JVM
Instein98/prapr-sc
Official repository for PraPR source code
Instein98/prapr_data_parser
Instein98/scm-example
Instein98/TBar
Template-based Automated Program Repair
Instein98/TemplateJavaagent
A template for a bytecode instrumentation javaagent.
Instein98/TestCovAgent
Instein98/UniaprD4jConsistency