375 citations · 1.5k across the 26 of their papers we have counts for
Showing 2019Show all
3 papers · 1 filter
cs.SE2019★ 2 cited
Can Automated Program Repair Refine Fault Localization?
Yiling Lou, Ali Ghanbari, Xia Li +3
Software bugs are prevalent in modern software systems and notoriously hard to debug manually. Therefore, a large body of research efforts have been dedicated to automated software…
cs.SE2019★ 21 cited
Mutation Testing for Ethereum Smart Contract
Haoran Wu, Xingya Wang, Jiehui Xu +3
Smart contract is a special program that manages digital assets on blockchain. It is difficult to recover the loss if users make transactions through buggy smart contracts, which c…
cs.SE2019★ 7 cited
Characterizing and Detecting CUDA Program Bugs
Mingyuan Wu, Husheng Zhou, Lingming Zhang +2
While CUDA has become a major parallel computing platform and programming model for general-purpose GPU computing, CUDA-induced bug patterns have not yet been well explored. In thi…