43 citations · 61 across the 22 of their papers we have counts for
4 papers · 1 filter
Causality-based Neural Network Repair
Bing Sun, Jun Sun, Hong Long Pham +1
Neural networks have had discernible achievements in a wide range of applications. The wide-spread adoption also raises the concern of their dependability and reliability. Similar…
sFuzz: An Efficient Adaptive Fuzzer for Solidity Smart Contracts
Tai D. Nguyen, Long H. Pham, Jun Sun +2
Smart contracts are Turing-complete programs that execute on the infrastructure of the blockchain, which often manage valuable digital assets. Solidity is one of the most popular p…
Enhancing Symbolic Execution of Heap-based Programs with Separation Logic for Test Input Generation
Long H. Pham, Quang Loc Le, Quoc-Sang Phan +2
Symbolic execution is a well established method for test input generation. Despite of having achieved tremendous success over numerical domains, existing symbolic execution techniq…
Learning Likely Invariants to Explain Why a Program Fails
Jun Sun, Long H. Pham, Lyly Tran Thi +2
Debugging is difficult. Recent studies show that automatic bug localization techniques have limited usefulness. One of the reasons is that programmers typically have to understand…