Instein98's repositories
EC-GECCO2020
Evolutionary Niching Algorithms for Multimodal Optimization
Automatic-Repair-for-CUDA-Synchronization-Bugs
Automatically Repair Three Types of CUDA Synchronization Bugs in Code Level
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.
cp-ddd-framework
A lightweight flexible development framework for complex business architecture with full ecosystem!轻量级业务中台开发框架,中台架构的顶层设计和完整解决方案!
CURE
Artefact for CURE: Code-Aware Neural Machine Translation for Automatic Program Repair
D4J_Maven
Pre-configured Defects4J 1.2 programs with pom files
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
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.
pitest
State of the art mutation testing system for the JVM
prapr-sc
Official repository for PraPR source code
TBar
Template-based Automated Program Repair
TemplateJavaagent
A template for a bytecode instrumentation javaagent.