ngocpq Goto Github PK
Name: Phung Ngoc
Type: User
Company: @keti-ai
Location: South Korea
Name: Phung Ngoc
Type: User
Company: @keti-ai
Location: South Korea
Accurate Condition Synthesis
Automatically exported from code.google.com/p/adasim
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.
WebRTC and ORTC implementation for Python using asyncio
Automated program repair tool based on symbolic execution and program synthesis
Multi-Objective GP for Automated Repair of Java
automatic program repair for Java with generate-and-validate techniques - jGenProg (GenProg for Java) - jMutRepair - jKali - DeepRepair - Cardumen
Cool links & research papers related to Machine Learning applied to source code (MLonCode)
batis_jpetstore6 with monitoring injected
TensorFlow code for the neural network presented in the paper: "code2vec: Learning Distributed Representations of Code"
Inductive program synthesizer
A Database of Real Faults and an Experimental Infrastructure to Enable Controlled Experiments in Software Engineering Research
Open-science repo for our experimental results of automatic software repair on the Defects4J benchmark of Java bugs
Extracting diff code snippets from different code versions
An online judge system for the Introduction to programming language C, C++, and Java courses.
A constraint solver abstraction layer for Java
jConstraints abstraction layer for Z3
A dynamic symbolic analysis tool for Java
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.
SPKT2 mแปi
MIPI: Source code's Meaning based Incorrect Patches Identifier
Open-science repository on KTH's program repair experiment on the Quixbugs benchmark
Component-based Program Repair
Automatic Repair Framework that abstract repair tools and bug benchmarks
A bibliography of papers related to symbolic execution
A declarative, efficient, and flexible JavaScript library for building user interfaces.
๐ Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. ๐๐๐
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google โค๏ธ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.