70 citations · 121 across the 4 of their papers we have counts for
Showing cs.SEShow all
3 papers · 1 filter
cs.SE2022★ 70 cited
Towards Understanding Third-party Library Dependency in C/C++ Ecosystem
Wei Tang, Zhengzi Xu, Chengwei Liu +5
Third-party libraries (TPLs) are frequently reused in software to reduce development cost and the time to market. However, external library dependencies may introduce vulnerabiliti…
cs.SE2020
A Survey of Smart Contract Formal Specification and Verification
Palina Tolmach, Yi Li, Shang-Wei Lin +2
A smart contract is a computer program which allows users to automate their actions on the blockchain platform. Given the significance of smart contracts in supporting important ac…
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…