MingWEN-CS
An Associate Professor at HUST. The leader of the ARTS3 research group (in short for Advanced Research for Trustworthy and Secure Software Systems).
Huazhong University of Science and TechnologyWuhan
Pinned Repositories
accumulo
Apache Accumulo
ASM_Demo
CapGen
ChangeDistiller
HSFL
InduceBenchmark
IsoVar
The replication package of IsoVar
Locus
MutAPI
PatchCorrectnessEmpirical
MingWEN-CS's Repositories
MingWEN-CS/CapGen
MingWEN-CS/InduceBenchmark
MingWEN-CS/HSFL
MingWEN-CS/MutAPI
MingWEN-CS/ChangeDistiller
MingWEN-CS/IsoVar
The replication package of IsoVar
MingWEN-CS/Locus
MingWEN-CS/PatchCorrectnessEmpirical
MingWEN-CS/accumulo
Apache Accumulo
MingWEN-CS/ASM_Demo
MingWEN-CS/astor
Inria & University of Lille's automatic software repair framework for Java - GenProg/jGenProg - Kali/jKali - jMutRepair
MingWEN-CS/codyze
Codyze is a static analyzer for Java, C, C++ based on code property graphs
MingWEN-CS/COMP3021
Labs of COMP3021
MingWEN-CS/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.
MingWEN-CS/defects4j
A Database of Existing Faults to Enable Controlled Testing Studies for Java
MingWEN-CS/Java-RSRepair
A Java version of the automatic program repair described by RSRepair and GenProg.
MingWEN-CS/jqf
Coverage-guided structured fuzzing for Java.
MingWEN-CS/LambdaMisuse
Lambda Expression Research Datasets
MingWEN-CS/Lexer
MingWEN-CS/MingWEN-CS.github.io
MingWEN-CS/MUBench
MingWEN-CS/nn4nlp2017-code
Code Samples from Neural Networks for NLP
MingWEN-CS/oyente
An Analysis Tool for Smart Contracts
MingWEN-CS/pitest
State of the art mutation testing system for the JVM
MingWEN-CS/rose6icse
MingWEN-CS/tensorflow
Open source software library for numerical computation using data flow graphs.
MingWEN-CS/TensorFlow-Examples
TensorFlow Tutorial and Examples for beginners
MingWEN-CS/tensorflow-tutorial
Practical tutorials and labs for TensorFlow used by Nvidia, FFN, CNN, RNN, Kaggle, AE
MingWEN-CS/tensorflow_tutorials
From the basics to slightly more interesting applications of Tensorflow
MingWEN-CS/TestGenSO