Quang Loc Le

Finding real bugs in big programs with incorrectness logic

Quang Loc Le, Azalea Raad, Jules Villard et al. · Proceedings of the ACM on Programming Languages · 2022 · 47 citations · Full text

Software Maintenance, Program Checking, Engineering +22

Enhancing Automated Program Repair with Deductive Verification

Xuan-Bach D. Le, Quang Loc Le, David Lo et al. · 2016 · 44 citations · Full text

Software Maintenance, Program Checking, Engineering +19

Two Novel Adaptive Symbolic Representations for Similarity Search in Time Series Databases

Ninh Pham, Quang Loc Le, Tran Khanh Dang · 2010 · 39 citations

Engineering, Machine Learning, Similarity Measure +18

Automatic loop-invariant generation anc refinement through selective sampling

Jiaying Li, Jun Sun, Li Li et al. · 2017 · 28 citations · Full text

Program Checking, Engineering, Verification +20

Testing heap-based programs with Java StarFinder

Long Hoang Pham, Quang Loc Le, Quoc-Sang Phan et al. · 2018 · 12 citations

Engineering, Verification, Test Data Generation +17