Adaptive randomized scheduling for concurrency bug detection

by WANG, Zan, ZHANG, Dongdi, LIU, Shuang, SUN, Jun, ZHAO, Yingquan
Published 2019

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

by WANG, Zan, ZHAO, Yingquan, LIU, Shuang, SUN, Jun, CHEN, Xiang, LIN, Huarui
Published 2019

PFix: Fixing concurrency bugs based on memory access patterns

by LIN, Huarui, WANG, Zan, LIU, Shuang, SUN, Jun, ZHANG, Dongdi, WEI, Guangning
Published 2018

Efficient and robust emergence of norms through heuristic collective learning

by HAO, Jianye, SUN, Jun, CHEN, Guangyong, WANG, Zan, YU, Chao, MING, Zhong
Published 2017

IFIX: Fixing concurrency bugs while they are introduced

by WANG, Zan, WANG, Haichi, LIU, Shuang, SUN, Jun, WANG, Haoyu, CHEN, Junjie
Published 2020

Achieving high MAP-coverage through pattern constraint reduction

by ZHAO, Yingquan, WANG, Zan, LIU, Shuang, SUN, Jun, CHEN, Junjie, CHEN, Xiang
Published 2023

Towards generating thread-safe classes automatically

by WANG, Haichi, WANG, Zan, SUN, Jun, LIN, Shuang, SADIQ, Ayesha, LI, Yuan Fang
Published 2020

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

by HAO, Jianye, KANG, Eunsuk, SUN, Jun, WANG, Zan, MENG, Zhaopeng, LI, Xiaohong, MING, Zhong
Published 2018

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

by WANG, Haoyu, WANG, Zan, LIU, Shuang, SUN, Jun, ZHAO, Yingquan, WAN, Yan, NGUYEN, Duy Tai
Published 2024