sophiehye Goto Github PK

accumulo

Apache Accumulo

acs

Accurate Condition Synthesis

acutest

Simple header-only C/C++ unit testing facility.

astor

automatic program repair for Java with generate-and-validate techniques - jGenProg (GenProg for Java) - jMutRepair - jKali - DeepRepair - Cardumen

astor-experiments

Open-science repo for the program repair experiments using Astor

blog

Public repo for HF blog posts

bugs-dot-jar

Bugs.jar: A Large-scale, Diverse Dataset of Bugs for Java Program Repair

cerberus

Program repair platform that provides interface to multiple state-of-the-art program repair tools

coming

A tool for mining commits from Git repositories and diffs to automatically extract code change pattern instances and features with ast analysis

commons-lang

Mirror of Apache Commons Lang

dd2482_covid19_course_info

defectrepairing

A tool for identifying patch correctness in test-based program repair

defectrepairing-traces

defects4j

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

devops-course

Repository about the material and content of the DevOps course at KTH Royal Institute of Technology DD2482

difftgen

drr

Tool & data on the correctness of Defects4 patches generated by program repair tools

dynamoth-experiments

evosuite-defects4j

Open science data of "Do Automatically Generated Unit Tests Find Real Faults An Empirical Study of Effectiveness and Challenges". Thanks to the authors!

example-skills

Example skills

features-javac

A javac plugin for extracting a feature graph for plugging in to machine learning models

folder-structure-conventions

Folder / directory structure options and naming conventions for software projects

furhatdemo

githubrepairpatterns

This repository includes some data about automatic repair tool pattern used in Github repositories

heye-website

jpf-symbc

Symbolic PathFinder

markdown-content

Markdown content for the www.aerobatic.io website

nbis

nopol

The source code of the Nopol automatic repair and patch generation system for Java developed at the University of Lille and Inria

open-science-repairnator

Open science data of "How to Design a Program Repair Bot? Insights from the Repairnator Project"