Phân tích Hàm nguyên và Hàm phân hình : Luận văn ThS. Toán học: 60 46 01 02

由 Chu, Đức Hiệp
出版 2017

Interpolation Methods for Symbolic Execution

由 CHU DUC HIEP
出版 2013

JFIX: Semantics-based repair of Java programs via symbolic PathFinder

由 LE, Xuan Bach D., CHU, Duc-Hiep, LO, David, LE, GOUES, VISSER, Willem
出版 2017

S3: Syntax- and semantic-guided repair synthesis via programming by examples

由 LE, Xuan-Bach D., CHU, Duc-Hiep, LO, David, LE GOUES, Claire, VISSER, Willem
出版 2017

JFIX: Semantics-based repair of Java programs via symbolic PathFinder

由 LE, Xuan-Bach D., CHU, Duc-Hiep, LO, David, GOUES, Claire Le, VISSER, Willem
出版 2017