Assertion generation through active learning

by PHAM, Long H., SUN, Jun, SUN, Jun
Published 2017

SGUARD: Towards fixing vulnerable smart contracts automatically

by NGUYEN, Tai D., PHAM, Long H., SUN, Jun
Published 2021

Compositional verification of heap-manipulating programs through property-guided learning

by PHAM, Long H., SUN, Jun, LOC LE, Quang
Published 2019

Causality-based neural network repair

by SUN, Bing, SUN, Jun, PHAM, Long H., SHI, Jie
Published 2022

Towards an effective and interpretable refinement approach for DNN verification

by LI, Jiaying, BAI, Guangdong, PHAM, Long H., SUN, Jun
Published 2023

Concolic testing heap-manipulating programs

by PHAM, Long H., LOC LE, Quang, PHAN, Quoc-Sang, SUN, Jun
Published 2019

Learning likely invariants to explain why a program fails

by PHAM, Long H., SUN, Jun, THI, Lyly Tran, WANG, Jingyi, PENG, Xin
Published 2017

sFuzz: An efficient adaptive fuzzer for solidity smart contracts

by NGUYEN, Tai D., PHAM, Long H., SUN, Jun, LIN, Yun, TRAN, Minh Quang
Published 2020

Enhancing symbolic execution of heap-based programs with separation logic for test input generation

by PHAM, Long H., LOC LE, Quang, PHAN, Quoc-Sang, SUN, Jun, QIN, Shengchao
Published 2019