375 citations · 1.4k across the 22 of their papers we have counts for
Showing 2019 · cs.SEShow all
3 papers · 2 filters
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
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…