activity
20162021
most citedIdentifying Patch Correctness in Test-Based Program Repair

164 citations · 243 across the 11 of their papers we have counts for

collaborators

11 papers

cs.CR2021★ 6 cited

VM Matters: A Comparison of WASM VMs and EVMs in the Performance of Blockchain Smart Contracts

Shuyu Zheng, Haoyu Wang, Lei Wu +2

WebAssemly is an emerging runtime for Web applications and has been supported in almost all browsers. Recently, WebAssembly is further regarded to be a the next-generation environm…

cs.CR2020★ 9 cited

Don't Fish in Troubled Waters! Characterizing Coronavirus-themed Cryptocurrency Scams

Pengcheng Xia, Haoyu Wang, Xiapu Luo +6

As COVID-19 has been spreading across the world since early 2020, a growing number of malicious campaigns are capitalizing the topic of COVID-19. COVID-19 themed cryptocurrency sca…

cs.SE2020★ 2 cited

Interactive Patch Filtering as Debugging Aid

Jingjing Liang, Ruyi Ji, Jiajun Jiang +3

It is widely recognized that program repair tools need to have a high precision to be useful, i.e., the generated patches need to have a high probability to be correct. However, it…

cs.CR2020★ 21 cited

Characterizing EOSIO Blockchain

Yuheng Huang, Haoyu Wang, Lei Wu +6

EOSIO has become one of the most popular blockchain platforms since its mainnet launch in June 2018. In contrast to the traditional PoW-based systems (e.g., Bitcoin and Ethereum),…

cs.LG2020★ 23 cited

Federated Neural Architecture Search

Jinliang Yuan, Mengwei Xu, Yuxin Zhao +4

To preserve user privacy while enabling mobile intelligence, techniques have been proposed to train deep neural networks on decentralized data. However, training over decentralized…

cs.SE2019★ 12 cited

A First Look at Blockchain-based Decentralized Applications

Kaidong Wu, Yun Ma, Gang Huang +1

With the increasing popularity of blockchain technologies in recent years, blockchain-based decentralized applications (DApps for short in this paper) have been rapidly developed a…

cs.SE2017★ 1 cited

Runtime Model Based Approach to Smart Home System Development

Kaidong Wu, Xiao He, Xing Chen +1

When developing smart home systems, developers integrate and compose smart devices and software applications. Because of their diversity and heterogeneity, developers usually encou…

cs.SE2017★ 164 cited

Identifying Patch Correctness in Test-Based Program Repair

Yingfei Xiong, Xinyuan Liu, Muhan Zeng +2

Test-based automatic program repair has attracted a lot of attention in recent years. However, the test suites in practice are often too weak to guarantee correctness and existing…

cs.SE2016★ 2 cited

Precise Condition Synthesis for Program Repair

Yingfei Xiong, Jie Wang, Runfa Yan +4

Due to the difficulty of repairing defect, many research efforts have been devoted into automatic defect repair. Given a buggy program that fails some test cases, a typical automat…

cs.SE2016★ 3 cited

DroidLink: Automated Generation of Deep Links for Android Apps

Yun Ma, Xuanzhe Liu, Ruogu Du +4

The mobile application (app) has become the main entrance to access the Internet on handheld devices. Unlike the Web where each webpage has a global URL to reach directly, a specif…

cs.SE2016

Mitigating Redundant Data Transfers for Mobile Web Applications via App-Specific Cache Space

Xuanzhe Liu, Yun Ma, Shuailiang Dong +4

Redundant transfer of resources is a critical issue for compromising the performance of mobile Web applications (a.k.a., apps) in terms of data traffic, load time, and even energy…