43 citations · 91 across the 6 of their papers we have counts for
7 papers · 1 filter
Towards Repairing Neural Networks Correctly
Guoliang Dong, Jun Sun, Jingyi Wang +2
Neural networks are increasingly applied to support decision making in safety-critical applications (like autonomous cars, unmanned aerial vehicles and face recognition based authe…
Holistic Combination of Structural and Textual Code Information for Context based API Recommendation
Chi Chen, Xin Peng, Zhenchang Xing +4
Context based API recommendation is an important way to help developers find the needed APIs effectively and efficiently. For effective API recommendation, we need not only a joint…
SOCRATES: Towards a Unified Platform for Neural Network Analysis
Long H. Pham, Jiaying Li, Jun Sun
Studies show that neural networks, not unlike traditional programs, are subject to bugs, e.g., adversarial samples that cause classification errors and discriminatory instances tha…
CoinWatch: A Clone-Based Approach For Detecting Vulnerabilities in Cryptocurrencies
Qingze Hum, Wei Jin Tan, Shi Ying Tey +4
Cryptocurrencies have become very popular in recent years. Thousands of new cryptocurrencies have emerged, proposing new and novel techniques that improve on Bitcoin's core innovat…
Active Fuzzing for Testing and Securing Cyber-Physical Systems
Yuqi Chen, Bohan Xuan, Christopher M. Poskitt +2
Cyber-physical systems (CPSs) in critical infrastructure face a pervasive threat from attackers, motivating research into a variety of countermeasures for securing them. Assessing…
sFuzz: An Efficient Adaptive Fuzzer for Solidity Smart Contracts
Tai D. Nguyen, Long H. Pham, Jun Sun +2
Smart contracts are Turing-complete programs that execute on the infrastructure of the blockchain, which often manage valuable digital assets. Solidity is one of the most popular p…