Instein98

Instein98

Geek Repo

Company:University of Illinois at Urbana-Champaign

Location:Urbana, Illinois

Github PK Tool:Github PK Tool

Instein98's repositories

D4jOchiai

Ochiai fault localization results for Defects4J buggy projects

Language:PythonStargazers:6Issues:1Issues:0

EC-GECCO2020

Evolutionary Niching Algorithms for Multimodal Optimization

Language:PythonStargazers:3Issues:0Issues:0
Language:JavaStargazers:1Issues:1Issues:0

Automatic-Repair-for-CUDA-Synchronization-Bugs

Automatically Repair Three Types of CUDA Synchronization Bugs in Code Level

Language:PythonStargazers:0Issues:0Issues:0
Language:ShellStargazers:0Issues:0Issues:0
Language:JavaStargazers:0Issues:0Issues:0

PurityAnalysis

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

Language:JavaStargazers:0Issues:1Issues:0

SustechMonopoly

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

Language:C#Stargazers:0Issues:1Issues:3

TheHookMan

A vertical-scroll game inspired by Doodle Jump.

Language:JavaScriptStargazers:0Issues:1Issues:0

CovDiff

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

Language:ShellStargazers:0Issues:1Issues:0

cp-ddd-framework

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

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

CURE

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

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

D4J_Maven

Pre-configured Defects4J 1.2 programs with pom files

Stargazers:0Issues:0Issues:0
Language:PythonStargazers:0Issues:0Issues:0
Language:PythonStargazers:0Issues:1Issues:0

grammars-v4

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

Language:ANTLRLicense:MITStargazers:0Issues:0Issues:0

gzoltar

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

Language:JavaLicense:NOASSERTIONStargazers:0Issues:0Issues:0
Language:PythonStargazers:0Issues:0Issues:0

javalang

Pure Python Java parser and tools

License:MITStargazers:0Issues:0Issues:0

JQF

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

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

NonDex

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

Language:JavaLicense:NOASSERTIONStargazers:0Issues:0Issues:0
Language:PythonStargazers:0Issues:0Issues:0

pitest

State of the art mutation testing system for the JVM

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

prapr-sc

Official repository for PraPR source code

Language:JavaLicense:Apache-2.0Stargazers:0Issues:0Issues:0
Language:JavaStargazers:0Issues:1Issues:0
Language:JavaStargazers:0Issues:0Issues:0

TBar

Template-based Automated Program Repair

Language:JavaStargazers:0Issues:0Issues:0

TemplateJavaagent

A template for a bytecode instrumentation javaagent.

Language:JavaStargazers:0Issues:1Issues:0
Language:JavaStargazers:0Issues:1Issues:0
Language:ShellStargazers:0Issues:1Issues:0