2 citations · 2 across the 6 of their papers we have counts for
Showing cs.SEShow all
3 papers · 1 filter
cs.SE2026
GBQA: A Game Benchmark for Evaluating LLMs as Quality Assurance Engineers
Shufan Jiang, Chios Chen, Zhiyang Chen
The autonomous discovery of bugs remains a significant challenge in modern software development. Compared to code generation, the complexity of dynamic runtime environments makes b…
cs.SE2024
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…
cs.SE2024★ 2 cited
Demystifying the Characteristics for Smart Contract Upgrades
Ye Liu, Shuo Li, Xiuheng Wu +3
Upgradable smart contracts play an important role in the decentralized application ecosystem, to support routine maintenance, security patching, and feature additions. In this pape…