ali-ghanbari Goto Github PK

deepmufl-ase-2023

Mutation-based Fault Localization of Deep Neural Networks

defectrepairing

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

defects4j

A Database of Existing Faults to Enable Controlled Testing Studies for Java

defexts-1

Defexts: A Curated Dataset of Reproducible Real-World Bugs for Modern JVM Languages

defexts-kotlin-bugs

Pre-configured Defexts-Kotlin bugs

diffparser

Parse unified diffs with Java.

dl4patchcorrectness

fix-to-elim

Fixpoint to eliminator translation in Coq

fixpatternsminer

java-callgraph

Programs for producing static and dynamic (runtime) call graphs for Java programs

java-jml

manual-dataset

memu

Toward Speeding up Mutation Analysis by Memoizing Expensive Methods

memu-demo

Faster Mutation Analysis with MeMu

metallaxis-improved

An improved version of Metallaxis

modeldiff

mufl

object-utils

A library for serializing/deserializing, hashing, and comparing arbitrary objects

objsim

ObjSim: Lightweight Automatic Patch Prioritization via Object Similarity

odsexperiment

Automated Classification of Overfitting Patches with Statically Extracted Code Features

ossrh-55140

Proof of account ownership

patch_prediction

pitest

State of the art mutation testing system for the JVM

pitext

PITEXT: An Extension to PITest

pitext-utils

Utilities used by some operators of PITExt

platypus

Object-Oriented Design, Formal Verification, and Implementation of a Microkernel

prapr

Practical Program Repair via Bytecode Mutation

prapr-sc

Official repository for PraPR source code

prf

A Framework for Building Automatic Program Repair Prototypes for JVM-based Languages

prfl

This project is written by Zhang, Lee, Zhang, and Khurshid