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