claudeyj Goto Github PK

awesome-java-leetcode

:crown: LeetCode of algorithms with java solution(updating).

codamosa

cs527-sp24-milestone3

cs527-sp24-milestone4

cs527_milestones

d4j_maven

Pre-configured Defects4J 1.2 programs with pom files

defects4j

A Database of Real Faults and an Experimental Infrastructure to Enable Controlled Experiments in Software Engineering Research

defects4j-maven

evosuite

EvoSuite - automated generation of JUnit test suites for Java classes

gora

The Apache Gora open source framework provides an in-memory data model and persistence for big data.

gumtreelambdaanalysis

idoft

jqf

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

klee

KLEE Symbolic Execution Engine

llvm-project

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.

milestone1

nacos

an easy-to-use dynamic service discovery, configuration and service management platform for building cloud native applications.

note-dive-into-deeplearning

patch_correctness

patchcorrectnessempirical

pinot

Apache Pinot - A realtime distributed OLAP datastore

pitest

State of the art mutation testing system for the JVM

prapr

Practical Program Repair via Bytecode Mutation

prapr-sc

Official repository for PraPR source code

prapr_data

Repository to store PraPR result, pom configurations, etc.

sequencer

Sequence-to-Sequence Learning for End-to-End Program Repair (IEEE TSE 2019). Open-science repo.

simfix

Automatically fix programs by leveraging existing patches from other projects and similar code snippets from the faulty project.

software-engineering-research