54 citations · 119 across the 8 of their papers we have counts for
4 papers · 1 filter
RegMiner: Towards Constructing a Large Regression Dataset from Code Evolution History
Xuezhi Song, Yun Lin, Siang Hwee Ng +4
Bug datasets consisting of real-world bugs are important artifacts for researchers and programmers, which lay empirical and experimental foundation for various SE/PL research such…
Self-Checking Deep Neural Networks in Deployment
Yan Xiao, Ivan Beschastnikh, David S. Rosenblum +4
The widespread adoption of Deep Neural Networks (DNNs) in important domains raises questions about the trustworthiness of DNN outputs. Even a highly accurate DNN will make mistakes…
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…
Vulpedia: Detecting Vulnerable Ethereum Smart Contracts via Abstracted Vulnerability Signatures
Jiaming Ye, Mingliang Ma, Yun Lin +3
Recent years have seen smart contracts are getting increasingly popular in building trustworthy decentralized applications. Previous research has proposed static and dynamic techni…