Causality-Based Neural Network Repair
Sun, Bing, Sun, Jun, Pham, Long H., Shi, Tie
Published in 2022 IEEE/ACM 44th International Conference on Software Engineering (ICSE) (01.05.2022)
Published in 2022 IEEE/ACM 44th International Conference on Software Engineering (ICSE) (01.05.2022)
Get full text
Conference Proceeding
SGUARD: Towards Fixing Vulnerable Smart Contracts Automatically
Nguyen, Tai D., Pham, Long H., Sun, Jun
Published in 2021 IEEE Symposium on Security and Privacy (SP) (01.05.2021)
Published in 2021 IEEE Symposium on Security and Privacy (SP) (01.05.2021)
Get full text
Conference Proceeding
sFuzz: An Efficient Adaptive Fuzzer for Solidity Smart Contracts
Nguyen, Tai D., Pham, Long H., Sun, Jun, Lin, Yun, Minh, Quang Tran
Published in 2020 IEEE/ACM 42nd International Conference on Software Engineering (ICSE) (01.10.2020)
Published in 2020 IEEE/ACM 42nd International Conference on Software Engineering (ICSE) (01.10.2020)
Get full text
Conference Proceeding
Poster: Testing Heap-Based Programs with Java StarFinder
Pham, Long H., Le, Quang Loc, Phan, Quoc-Sang, Sun, Jun, Qin, Shengchao
Published in 2018 IEEE/ACM 40th International Conference on Software Engineering: Companion (ICSE-Companion) (01.05.2018)
Published in 2018 IEEE/ACM 40th International Conference on Software Engineering: Companion (ICSE-Companion) (01.05.2018)
Get full text
Conference Proceeding