33 citations · 33 across the 1 of their papers we have counts for
2 papers
cs.CR2019
Oracle-Supported Dynamic Exploit Generation for Smart Contracts
Haijun Wang, Yi Li, Shang-Wei Lin +3
Despite the high stakes involved in smart contracts, they are often developed in an undisciplined manner, leaving the security and reliability of blockchain transactions at risk. I…
cs.SE2018★ 33 cited
DeepCruiser: Automated Guided Testing for Stateful Deep Learning Systems
Xiaoning Du, Xiaofei Xie, Yi Li +3
Deep learning (DL) defines a data-driven programming paradigm that automatically composes the system decision logic from the training data. In company with the data explosion and h…