Pinned Repositories
ACS
Accurate Condition Synthesis
adasim
Automatically exported from code.google.com/p/adasim
AgxFaults
An automatic fault localization tool for Java programs. It combines dynamic symbolic execution with incremental Max-SMT solver to identify program locations at which a manifested error can be fixed.
aiortc
WebRTC and ORTC implementation for Python using asyncio
astor
automatic program repair for Java with generate-and-validate techniques - jGenProg (GenProg for Java) - jMutRepair - jKali - DeepRepair - Cardumen
AutoUpdate
defects4j-repair
Open-science repo for our experimental results of automatic software repair on the Defects4J benchmark of Java bugs
DiffSnippetsExtractor
Extracting diff code snippets from different code versions
HCMUTE-Online-Judge
An online judge system for the Introduction to programming language C, C++, and Java courses.
mipi
MIPI: Source code's Meaning based Incorrect Patches Identifier
ngocpq's Repositories
ngocpq/AgxFaults
An automatic fault localization tool for Java programs. It combines dynamic symbolic execution with incremental Max-SMT solver to identify program locations at which a manifested error can be fixed.
ngocpq/mipi
MIPI: Source code's Meaning based Incorrect Patches Identifier
ngocpq/defects4j-repair
Open-science repo for our experimental results of automatic software repair on the Defects4J benchmark of Java bugs
ngocpq/ACS
Accurate Condition Synthesis
ngocpq/adasim
Automatically exported from code.google.com/p/adasim
ngocpq/aiortc
WebRTC and ORTC implementation for Python using asyncio
ngocpq/astor
automatic program repair for Java with generate-and-validate techniques - jGenProg (GenProg for Java) - jMutRepair - jKali - DeepRepair - Cardumen
ngocpq/AutoUpdate
ngocpq/DiffSnippetsExtractor
Extracting diff code snippets from different code versions
ngocpq/HCMUTE-Online-Judge
An online judge system for the Introduction to programming language C, C++, and Java courses.
ngocpq/angelix
Automated program repair tool based on symbolic execution and program synthesis
ngocpq/arja
Multi-Objective GP for Automated Repair of Java
ngocpq/awesome-machine-learning-on-source-code
Cool links & research papers related to Machine Learning applied to source code (MLonCode)
ngocpq/batis_jpetstore6
batis_jpetstore6 with monitoring injected
ngocpq/code2vec
TensorFlow code for the neural network presented in the paper: "code2vec: Learning Distributed Representations of Code"
ngocpq/codis
Inductive program synthesizer
ngocpq/defects4j
A Database of Real Faults and an Experimental Infrastructure to Enable Controlled Experiments in Software Engineering Research
ngocpq/jconstraints-orig
A constraint solver abstraction layer for Java
ngocpq/jconstraints-z3-orig
jConstraints abstraction layer for Z3
ngocpq/jdart
A dynamic symbolic analysis tool for Java
ngocpq/jpf-core-orig
JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastructure, and can be used to check for concurrency defects like deadlocks, and unhandled exceptions like NullPointerExceptions and AssertionErrors.
ngocpq/MHX2
SPKT2 mới
ngocpq/quixbugs-experiment
Open-science repository on KTH's program repair experiment on the Quixbugs benchmark
ngocpq/repair-synthesis
Component-based Program Repair
ngocpq/RepairThemAll
Automatic Repair Framework that abstract repair tools and bug benchmarks
ngocpq/symexbib
A bibliography of papers related to symbolic execution