33 citations · 85 across the 14 of their papers we have counts for
14 papers
MIMIC-Py: An Extensible Tool for Personality-Driven Automated Game Testing with Large Language Models
Yifei Chen, Sarra Habchi, Lili Wei
Modern video games are complex, non-deterministic systems that are difficult to test automatically at scale. Although prior work shows that personality-driven Large Language Model…
LSPFuzz: Hunting Bugs in Language Servers
Hengcheng Zhu, Songqiang Chen, Valerio Terragni +4
The Language Server Protocol (LSP) has revolutionized the integration of code intelligence in modern software development. There are approximately 300 LSP server implementations fo…
LLM-Powered Detection of Price Manipulation in DeFi
Lu Liu, Wuqi Zhang, Lili Wei +4
Decentralized Finance (DeFi) smart contracts manage billions of dollars, making them a prime target for exploits. Price manipulation vulnerabilities, often via flash loans, are a d…
Understanding and Characterizing Mock Assertions in Unit Tests
Hengcheng Zhu, Valerio Terragni, Lili Wei +3
Mock assertions provide developers with a powerful means to validate program behaviors that are unobservable to test assertions. Despite their significance, they are rarely conside…
Characterizing Bugs in Login Processes of Android Applications: An Empirical Study
Zixu Zhou, Rufeng Chen, Junfeng Chen +2
The login functionality, being the gateway to app usage, plays a critical role in both user experience and application security. As Android apps increasingly incorporate login func…
Demystifying Device-specific Compatibility Issues in Android Apps
Junfeng Chen, Kevin Li, Yifei Chen +2
The Android ecosystem is profoundly fragmented due to the frequent updates of the Android system and the prevalent customizations by mobile device manufacturers. Previous research…
StubCoder: Automated Generation and Repair of Stub Code for Mock Objects
Hengcheng Zhu, Lili Wei, Valerio Terragni +6
Mocking is an essential unit testing technique for isolating the class under test (CUT) from its dependencies. Developers often leverage mocking frameworks to develop stub code tha…
Programming by Example Made Easy
Jiarong Wu, Lili Wei, Yanyan Jiang +3
Programming by example (PBE) is an emerging programming paradigm that automatically synthesizes programs specified by user-provided input-output examples. Despite the convenience f…
Test: WebView-Oriented Testing for Android Applications
Jiajun Hu, Lili Wei, Yepang Liu +1
WebView is a UI widget that helps integrate web applications into the native context of Android apps. It provides powerful mechanisms for bi-directional interactions between the na…
Combatting Front-Running in Smart Contracts: Attack Mining, Benchmark Construction and Vulnerability Detector Evaluation
Wuqi Zhang, Lili Wei, Shing-Chi Cheung +4
Front-running attacks have been a major concern on the blockchain. Attackers launch front-running attacks by inserting additional transactions before upcoming victim transactions t…
Characterizing and Detecting Configuration Compatibility Issues in Android Apps
Huaxun Huang, Ming Wen, Lili Wei +2
XML configuration files are widely used in Android to define an app's user interface and essential runtime information such as system permissions. As Android evolves, it might intr…
Characterizing Transaction-Reverting Statements in Ethereum Smart Contracts
Lu Liu, Lili Wei, Wuqi Zhang +3
Smart contracts are programs running on blockchain to execute transactions. When input constraints or security properties are violated at runtime, the transaction being executed by…
ÐArcher: Detecting On-Chain-Off-Chain Synchronization Bugs in Decentralized Applications
Wuqi Zhang, Lili Wei, Shuqing Li +2
Since the emergence of Ethereum, blockchain-based decentralized applications (DApps) have become increasingly popular and important. To balance the security, performance, and costs…
DroidLeaks: Benchmarking Resource Leak Bugs for Android Applications
Yepang Liu, Lili Wei, Chang Xu +1
Resource leak bugs in Android apps are pervasive and can cause serious performance degradation and system crashes. In recent years, several resource leak detection techniques have…