Pinned Repositories
abc
angelix-experiments
deepxplore
DeepXplore code release
DefectRepairing
A tool for identifying patch correctness in test-based program repair
fangelix
ICSE-ClassifyTestExec
ITSP
Artifacts of FSE-2017 paper on an Intelligent Tutoring System for Programming
jbse
SMD
SMD: Software Metric tool for Defect prediction
jyi's Repositories
jyi/ITSP
Artifacts of FSE-2017 paper on an Intelligent Tutoring System for Programming
jyi/fangelix
jyi/ICSE-ClassifyTestExec
jyi/angelix-experiments
jyi/deepxplore
DeepXplore code release
jyi/DefectRepairing
A tool for identifying patch correctness in test-based program repair
jyi/jbse
jyi/cJSON
jyi/CSE341
jyi/CSE464
jyi/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.
jyi/DBLPParser
A python parser for DBLP dataset
jyi/defects4j-repair
Open-science repo for our experimental results of automatic software repair on the Defects4J benchmark of Java bugs
jyi/Devign
jyi/emacs-c-ide-demo
Emacs setup for C/C++ with Helm describe here: http://tuhdo.github.io/c-ide.html
jyi/evosuite_tutorial
jyi/Hybiscus
jyi/JQF
jyi/junit-quickcheck
jyi/klee
jyi/klee-1
KLEE Symbolic Execution Engine
jyi/MHMA
The dataset used for the meta-analysis reported in ICSE-NIER-19.
jyi/program-repair.github.io
Automated program repair bibliography, tools and benchmarks.
jyi/pymc3
jyi/python-bibtexparser
Bibtex parser for Python 3
jyi/repair-synthesis
jyi/ReVeal
jyi/Spoon-Knife
This repo is for demonstration purposes only.
jyi/z3
The Z3 Theorem Prover
jyi/zest_tutorial