Shaochun Wang

According to our database, Shaochun Wang authored at least 4 papers between 2003 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

LLMs on Trial: Evaluating Judicial Fairness for Large Language Models.

Yiran Hu, Zongyue Xue, Haitao Li, Siyuan Zheng, Qingjing Chen, Shaochun Wang, Xihan Zhang, Ning Zheng, Yun Liu, Qingyao Ai, Yiqun Liu, Charles L. A. Clarke, Weixing Shen

CoRR, July, 2025

2010

Temporal Filter A Temporal Extension to Wireshark Display Filter.

Shaochun Wang

Proceedings of the 22nd International Conference on Software Engineering & Knowledge Engineering (SEKE'2010), Redwood City, San Francisco Bay, CA, USA, July 1, 2010

2005

An Improved Case-Based Approach to LTL Model Checking.

Fei Pu, Wenhui Zhang, Shaochun Wang

Proceedings of the Rapid Integration of Software Engineering Techniques, 2005

2003

Object Orientation without Extending Z.

Mark Utting, Shaochun Wang

Proceedings of the ZB 2003: Formal Specification and Development in Z and B, 2003