Object Orientation without Extending Z. - Mark Utting; Shaochun Wang (ZB, 2003)

An Improved Case-Based Approach to LTL Model Checking. - Fei Pu; Wenhui Zhang; Shaochun Wang (RISE, 2005)

Temporal Filter A Temporal Extension to Wireshark Display Filter. - Shaochun Wang (SEKE, 2010)

LLMs on Trial: Evaluating Judicial Fairness for Large Language Models. - Yiran Hu; Zongyue Xue; Haitao Li 006; Siyuan Zheng; Qingjing Chen; Shaochun Wang; Xihan Zhang; Ning Zheng; Yun Liu; Qingyao Ai; Yiqun Liu 001; Charles L. A. Clarke; et al. (CoRR, 2025)