Follow
Pham Hong Long
Title
Cited by
Cited by
Year
sfuzz: An efficient adaptive fuzzer for solidity smart contracts
TD Nguyen, LH Pham, J Sun, Y Lin, QT Minh
Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020
2222020
SGUARD: towards fixing vulnerable smart contracts automatically
TD Nguyen, LH Pham, J Sun
2021 IEEE Symposium on Security and Privacy (SP), 1215-1229, 2021
492021
Causality-based neural network repair
B Sun, J Sun, LH Pham, J Shi
Proceedings of the 44th International Conference on Software Engineering …, 2022
402022
Enhancing symbolic execution of heap-based programs with separation logic for test input generation
LH Pham, QL Le, QS Phan, J Sun, S Qin
Automated Technology for Verification and Analysis: 17th International …, 2019
242019
Assertion generation through active learning
L H. Pham, LL Tran Thi, J Sun
Formal Methods and Software Engineering: 19th International Conference on …, 2017
222017
Testing heap-based programs with Java StarFinder
LH Pham, QL Le, QS Phan, J Sun, S Qin
Proceedings of the 40th International Conference on Software Engineering …, 2018
172018
Concolic testing heap-manipulating programs
LH Pham, QL Le, QS Phan, J Sun
Formal Methods–The Next 30 Years: Third World Congress, FM 2019, Porto …, 2019
142019
Learning likely invariants to explain why a program fails
LH Pham, J Sun, LLT Thi, J Wang, X Peng
2017 22nd International Conference on Engineering of Complex Computer …, 2017
52017
Compositional verification of heap-manipulating programs through property-guided learning
LH Pham, J Sun, QL Le
Programming Languages and Systems: 17th Asian Symposium, APLAS 2019, Nusa …, 2019
42019
SOCRATES: towards a unified platform for neural network verification. CoRR abs/2007.11206 (2020)
LH Pham, J Li, J Sun
42007
Assisting students in finding bugs and their locations in programming solutions
LH Pham, GV Trinh, MH Dinh, NP Mai, TT Quan, HQ Ngo
International Journal of Quality Assurance in Engineering and Technology …, 2014
32014
S2TD: A separation logic verifier that supports reasoning of the absence and presence of bugs
QL Le, J Sun, LH Pham, S Qin
arXiv preprint arXiv:2209.09327, 2022
22022
Verifying neural networks against backdoor attacks
LH Pham, J Sun
International Conference on Computer Aided Verification, 171-192, 2022
22022
SOCRATES: Towards a Unified Platform for Neural Network Analysis
LH Pham, J Li, J Sun
arXiv preprint arXiv:2007.11206, 2020
12020
An Idealist’s Approach for Smart Contract Correctness
TD Nguyen, LH Pham, J Sun, QL Le
International Conference on Formal Engineering Methods, 11-28, 2023
2023
Towards an Effective and Interpretable Refinement Approach for DNN Verification
J Li, G Bai, LH Pham, J Sun
2023 IEEE 23rd International Conference on Software Quality, Reliability …, 2023
2023
Fuzzing with Quantitative and Adaptive Hot-Bytes Identification
TD Nguyen, LH Pham, J Sun
arXiv preprint arXiv:2307.02289, 2023
2023
S2TD: a Separation Logic Verifier that Supports Reasoning of the Absence and Presence of Bugs
Q Loc Le, J Sun, LH Pham, S Qin
arXiv e-prints, arXiv: 2209.09327, 2022
2022
Enhancing symbolic execution of heap-based programs with separation logic for test input generation.(2019)
LH PHAM, Q LOC LE, QS PHAN, J SUN, S QIN
International Symposium on Automated Technology for Verification and …, 2019
2019
Concolic testing heap-manipulating programs.(2019)
LH PHAM, Q LOC LE, QS PHAN, J SUN
International Symposium on Formal Methods (FM 2019), Porto, Portugal, 7-11, 2019
2019
The system can't perform the operation now. Try again later.
Articles 1–20