Adaptive randomized scheduling for concurrency bug detection

由 WANG, Zan, ZHANG, Dongdi, LIU, Shuang, SUN, Jun, ZHAO, Yingquan
出版 2019

MAP-Coverage: A novel coverage criterion for testing thread-safe classes

由 WANG, Zan, ZHAO, Yingquan, LIU, Shuang, SUN, Jun, CHEN, Xiang, LIN, Huarui
出版 2019

Achieving high MAP-coverage through pattern constraint reduction

由 ZHAO, Yingquan, WANG, Zan, LIU, Shuang, SUN, Jun, CHEN, Junjie, CHEN, Xiang
出版 2023

sFuzz2.0: Storage-access pattern guided smart contract fuzzing

由 WANG, Haoyu, WANG, Zan, LIU, Shuang, SUN, Jun, ZHAO, Yingquan, WAN, Yan, NGUYEN, Duy Tai
出版 2024