3 citations · 7 across the 3 of their papers we have counts for
3 papers
cs.SE2023★ 3 cited
Static Code Analysis in the AI Era: An In-depth Exploration of the Concept, Function, and Potential of Intelligent Code Analysis Agents
Gang Fan, Xiaoheng Xie, Xunjin Zheng +2
The escalating complexity of software systems and accelerating development cycles pose a significant challenge in managing code errors and implementing business logic. Traditional…
cs.PL2023★ 2 cited
Verifying Data Constraint Equivalence in FinTech Systems
Chengpeng Wang, Gang Fan, Peisen Yao +2
Data constraints are widely used in FinTech systems for monitoring data consistency and diagnosing anomalous data manipulations. However, many equivalent data constraints are creat…
cs.CR2022★ 2 cited
TokenPatronus: A Decentralized NFT Anti-theft Mechanism
Zheng Cao, Yi Zhen, Gang Fan +1
The emergence of metaverse brings tremendous evolution to Non-Fungible Tokens (NFTs), which could certify the ownership the unique digital asset in the cyber world. The NFT market…