Jiasheng Jiang

Publication Activity (10 Years)

Years Active: 2022-2023
Publications (10 Years): 2

Top Topics

Symbolic Execution

Object Oriented

Top Venues

IEEE Trans. Computers

IEEE Trans. Software Eng.

Publications

Jianjun Huang, Bo Xue, Jiasheng Jiang, Wei You, Bin Liang, Jingzheng Wu, Yanjun Wu
Scalably Detecting Third-Party Android Libraries With Two-Stage Bloom Filtering. IEEE Trans. Software Eng. 49 (4) (2023)
Jianjun Huang, Jiasheng Jiang, Wei You, Bin Liang
Precise Dynamic Symbolic Execution for Nonuniform Data Access in Smart Contracts. IEEE Trans. Computers 71 (7) (2022)