activity
20182021
most citedsFuzz: An Efficient Adaptive Fuzzer for Solidity Smart Contracts

43 citations · 91 across the 6 of their papers we have counts for

collaborators
Showing cs.SEShow all

5 papers · 1 filter

cs.SE2021

A Topic Guided Pointer-Generator Model for Generating Natural Language Code Summaries

Xin Wang, Xin Peng, Jun Sun +3

Code summarization is the task of generating natural language description of source code, which is important for program understanding and maintenance. Existing approaches treat th…

cs.SE2020

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…

cs.SE202025 cited

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…

cs.SE202043 cited

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…

cs.SE2020

Automated synthesis of local time requirement for service composition

Étienne André, Tian Huat Tan, Manman Chen +4

Service composition aims at achieving a business goal by composing existing service-based applications or components. The response time of a service is crucial especially in time c…