Jooyong Yi's repositories
deepxplore
DeepXplore code release
DefectRepairing
A tool for identifying patch correctness in test-based program repair
CSrankings
A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.
Language:PythonNOASSERTION000
DBLPParser
A python parser for DBLP dataset
Language:PythonMIT000
defects4j-repair
Open-science repo for our experimental results of automatic software repair on the Defects4J benchmark of Java bugs
Language:Python000
Language:PythonMIT000
emacs-c-ide-demo
Emacs setup for C/C++ with Helm describe here: http://tuhdo.github.io/c-ide.html
Language:Emacs Lisp000
Language:Jupyter Notebook000
klee-1
KLEE Symbolic Execution Engine
Language:C++NOASSERTION000
program-repair.github.io
Automated program repair bibliography, tools and benchmarks.
Language:HTML000
python-bibtexparser
Bibtex parser for Python 3
Language:PythonNOASSERTION000
Language:JavaMIT000
Spoon-Knife
This repo is for demonstration purposes only.
Language:HTML000
z3
The Z3 Theorem Prover
Language:C++NOASSERTION000