Precise Dynamic Symbolic Execution for Nonuniform Data Access in Smart Contracts. - Jianjun Huang 001; Jiasheng Jiang; Wei You 001; Bin Liang 002 (IEEE Trans. Computers, 2022)

Scalably Detecting Third-Party Android Libraries With Two-Stage Bloom Filtering. - Jianjun Huang 001; Bo Xue; Jiasheng Jiang; Wei You 001; Bin Liang 002; Jingzheng Wu; Yanjun Wu (IEEE Trans. Software Eng., 2023)

APP-Miner: Detecting API Misuses via Automatically Mining API Path Patterns. - Jiasheng Jiang; Jingzheng Wu; Xiang Ling 001; Tianyue Luo; Sheng Qu; Yanjun Wu (SP, 2024)

ASTRA: Autonomous Spatial-Temporal Red-teaming for AI Software Assistants. - Xiangzhe Xu; Guangyu Shen; Zian Su; Siyuan Cheng 005; Hanxi Guo; Lu Yan; Xuan Chen; Jiasheng Jiang; Xiaolong Jin 002; Chengpeng Wang 001; Zhuo Zhang 002; Xiangyu Zhang 001 (CoRR, 2025)