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

PFix: Fixing concurrency bugs based on memory access patterns

由 LIN, Huarui, WANG, Zan, LIU, Shuang, SUN, Jun, ZHANG, Dongdi, WEI, Guangning
出版 2018

Efficient and robust emergence of norms through heuristic collective learning

由 HAO, Jianye, SUN, Jun, CHEN, Guangyong, WANG, Zan, YU, Chao, MING, Zhong
出版 2017

IFIX: Fixing concurrency bugs while they are introduced

由 WANG, Zan, WANG, Haichi, LIU, Shuang, SUN, Jun, WANG, Haoyu, CHEN, Junjie
出版 2020

Achieving high MAP-coverage through pattern constraint reduction

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

Towards generating thread-safe classes automatically

由 WANG, Haichi, WANG, Zan, SUN, Jun, LIN, Shuang, SADIQ, Ayesha, LI, Yuan Fang
出版 2020

An adaptive Markov strategy for defending smart grid false data injection from malicious attackers

由 HAO, Jianye, KANG, Eunsuk, SUN, Jun, WANG, Zan, MENG, Zhaopeng, LI, Xiaohong, MING, Zhong
出版 2018

Mitigating regression faults induced by feature evolution in deep learning systems

由 YU, Hanmo, WANG, Zan, CHEN, Xuyang, CHEN, Junjie, SUN, Jun, LIU, Shuang, DONG, Zishuo
出版 2025

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