16 citations · 17 across the 9 of their papers we have counts for
4 papers · 1 filter
OpenTracer: A Dynamic Transaction Trace Analyzer for Smart Contract Invariant Generation and Beyond
Zhiyang Chen, Ye Liu, Sidi Mohamed Beillahi +2
Smart contracts, self-executing programs on the blockchain, facilitate reliable value exchanges without centralized oversight. Despite the recent focus on dynamic analysis of their…
CompSuite: A Dataset of Java Library Upgrade Incompatibility Issues
Xiufeng Xu, Chenguang Zhu, Yi Li
Modern software systems heavily rely on external libraries developed by third-parties to ensure efficient development. However, frequent library upgrades can lead to compatibility…
Evaluating AIGC Detectors on Code Content
Jian Wang, Shangqing Liu, Xiaofei Xie +1
Artificial Intelligence Generated Content (AIGC) has garnered considerable attention for its impressive performance, with ChatGPT emerging as a leading AIGC model that produces hig…
Towards Concolic Testing for Hybrid Systems
Pingfan Kong, Yi Li, Xiaohong Chen +3
Hybrid systems exhibit both continuous and discrete behavior. Analyzing hybrid systems is known to be hard. Inspired by the idea of concolic testing (of programs), we investigate w…