Pengbo Nie

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 5

Top Topics

White Box Testing

Top Venues

ACM Trans. Softw. Eng. Methodol.

Publications

Zihan Wang, Pengbo Nie, Xinyuan Miao, Yuting Chen, Chengcheng Wan, Lei Bu, Jianjun Zhao
GenCoG: A DSL-Based Approach to Generating Computation Graphs for TVM Testing. ISSTA (2023)
Pengbo Nie, Chengcheng Wan, Jiayu Zhu, Ziyi Lin, Yuting Chen, Zhendong Su
Coverage-directed Differential Testing of X.509 Certificate Validation in SSL/TLS Implementations. ACM Trans. Softw. Eng. Methodol. 32 (1) (2023)
Xinyuan Miao, Ziyi Lin, Shaojun Wang, Lei Yu, Sanhong Li, Zihan Wang, Pengbo Nie, Yuting Chen, Beijun Shen, He Jiang
Lejacon: A Lightweight and Efficient Approach to Java Confidential Computing on SGX. ICSE (2023)
Xintian Yu, Enze Ma, Pengbo Nie, Beijun Shen, Yuting Chen, Ziyi Lin
ApproxiFuzzer: Fuzzing towards Deep Code Snippets in Java Programs. COMPSAC (2021)
Jiayu Zhu, Chengcheng Wan, Pengbo Nie, Yuting Chen, Zhendong Su
Guided, Deep Testing of X.509 Certificate Validation via Coverage Transfer Graphs. ICSME (2020)