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

by Chu, Đức Hiệp
Published 2017

Interpolation Methods for Symbolic Execution

by CHU DUC HIEP
Published 2013

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

by LE, Xuan Bach D., CHU, Duc-Hiep, LO, David, LE, GOUES, VISSER, Willem
Published 2017

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

by LE, Xuan-Bach D., CHU, Duc-Hiep, LO, David, LE GOUES, Claire, VISSER, Willem
Published 2017

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

by LE, Xuan-Bach D., CHU, Duc-Hiep, LO, David, GOUES, Claire Le, VISSER, Willem
Published 2017