Discover @ngocpq Open Source projects

Phung Ngoc (@ngocpq)

ngocpq

Stars
5
Global Rank 1,429,485 (Top 50 %)
Followers 9
Following 5
Registered over 14 years ago
Most used languages

Java
50.0 %

Python
50.0 %
Location 🇰🇷 South Korea
Country Total Rank 12,804
Country Ranking

Java
2,865

Python
6,129

mipi

MIPI: Source code's Meaning based Incorrect Patches Identifier

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.