26 citations · 26 across the 1 of their papers we have counts for
Showing cs.SEShow all
3 papers · 1 filter
cs.SE2019
EVMFuzz: Differential Fuzz Testing of Ethereum Virtual Machine
Ying Fu, Meng Ren, Fuchen Ma +3
Ethereum Virtual Machine (EVM) is the run-time environment for smart contracts and its vulnerabilities may lead to serious problems to the Ethereum ecology. With lots of techniques…
cs.SE2018
QuanFuzz: Fuzz Testing of Quantum Program
Jiyuan Wang, Ming Gao, Yu Jiang +4
Nowadays, quantum program is widely used and quickly developed. However, the absence of testing methodology restricts their quality. Different input format and operator from tradit…
cs.SE2018
DLFuzz: Differential Fuzzing Testing of Deep Learning Systems
Jianmin Guo, Yu Jiang, Yue Zhao +2
Deep learning (DL) systems are increasingly applied to safety-critical domains such as autonomous driving cars. It is of significant importance to ensure the reliability and robust…