Iterative Metamorphic Testing. - Peng Wu 002 (COMPSAC (1), 2005)

Compositional Modelling and Verification of IPv6 Mobility. - Peng Wu 002; Dongmei Zhang 007 (FORTE, 2005)

Measuring Anonymity with Relative Entropy. - Yuxin Deng; Jun Pang 001; Peng Wu 002 (Formal Aspects in Security and Trust, 2006)

Model-based Testing of Concurrent Programs with Predicate Sequencing Constraints. - Peng Wu 002; Huimin Lin (Int. J. Softw. Eng. Knowl. Eng., 2006)

Symbolic Test Generation Using a Temporal Logic with Constrained Events. - Daguang Liu; Peng Wu 002; Huimin Lin (Formal Methods and Hybrid Real-Time Systems, 2007)

Model checking the probabilistic pi-calculus. - Gethin Norman; Catuscia Palamidessi; David Parker 001; Peng Wu 002 (QEST, 2007)

Symbolic Bisimulations for Probabilistic Systems. - Peng Wu 002; Catuscia Palamidessi; Huimin Lin (QEST, 2007)

Model Checking Probabilistic and Stochastic Extensions of the pi-Calculus. - Gethin Norman; Catuscia Palamidessi; David Parker 001; Peng Wu 002 (IEEE Trans. Software Eng., 2009)

Model Checking Optimisation Based Congestion Control Algorithms. - Alessio Lomuscio; Ben Strulo; Nigel G. Walker; Peng Wu 002 (Fundam. Informaticae, 2010)

Assume-Guarantee Reasoning with Local Specifications. - Alessio Lomuscio; Ben Strulo; Nigel G. Walker; Peng Wu 002 (Int. J. Found. Comput. Sci., 2013)

Efficiently and Completely Verifying Synchronized Consistency Models. - Yi Lv; Luming Sun; Xiaochun Ye; Dongrui Fan; Peng Wu 002 (ATVA, 2014)

Quasi-Linearizability is Undecidable. - Chao Wang 069; Yi Lv; Gaoang Liu; Peng Wu 002 (APLAS, 2015)

Input-Driven Active Testing of Multi-threaded Programs. - Han Yue; Peng Wu 002; Tsong Yueh Chen; Yi Lv (APSEC, 2015)

An Experiment on Decision Diagrams for Model Checking Probabilistic Timed Automata. - Wei Ji; Farn Wang; Peng Wu 002; Yi Lv (ICECCS, 2016)

Bounded TSO-to-SC Linearizability Is Decidable. - Chao Wang 069; Yi Lv; Peng Wu 002 (SOFSEM, 2016)

Modelling and Analysis of Network Security - An Algebraic Approach. - Qian Zhang; Ying Jiang; Peng Wu 002 (Trustcom/BigDataSE/ISPA, 2016)

Synthesizing Coalitions for Multi-agent Games. - Wei Ji; Farn Wang; Peng Wu 002 (IFM, 2017)

Decomposable Relaxation for Concurrent Data Structures. - Chao Wang 069; Yi Lv; Peng Wu 002 (SOFSEM, 2017)

Localization of Linearizability Faults on the Coarse-Grained Level. - Zhenya Zhang; Peng Wu 002; Yu Zhang (Int. J. Softw. Eng. Knowl. Eng., 2017)

Interleaving-Tree Based Fine-Grained Linearizability Fault Localization. - Yang Chen; Zhenya Zhang; Peng Wu 002; Yu Zhang (SETTA, 2018)

TSO-to-TSO linearizability is undecidable. - Chao Wang 069; Yi Lv; Peng Wu 002 (Acta Informatica, 2018)

Decidability of linearizabilities for relaxed data structures. - Chao Wang 069; Yi Lv; Peng Wu 002 (Sci. China Inf. Sci., 2018)

Diversity driven adaptive test generation for concurrent data structures. - Linhai Ma; Peng Wu 002; Tsong Yueh Chen (Inf. Softw. Technol., 2018)

Fairness Testing of Machine Learning Models Using Deep Reinforcement Learning. - Wentao Xie; Peng Wu 002 (TrustCom, 2020)

An iterative metamorphic testing technique for web services and case studies. - Chang-Ai Sun; An Fu; Yiqiang Liu; Qing Wen; Zuoyi Wang; Peng Wu 002; Tsong Yueh Chen (Int. J. Web Grid Serv., 2020)

Out-of-Distribution Detection through Relative Activation-Deactivation Abstractions. - Zhen Zhang; Peng Wu 002; Yuhang Chen; Jing Su (ISSRE, 2021)

Adversarial Input Detection Based on Critical Transformation Robustness. - Jing Su; Zhen Zhang; Peng Wu 002; Xuran Li; Jian Zhang (ISSRE, 2022)

Accurate Fairness: Improving Individual Fairness without Trading Accuracy. - Xuran Li; Peng Wu 002; Jing Su (AAAI, 2023)

VeriLin: A Linearizability Checker for Large-Scale Concurrent Objects. - Qiaowen Jia; Yi Lv; Peng Wu 002; Bohua Zhan; Jifeng Hao; Hong Ye; Chao Wang 069 (TASE, 2023)

RobustFair: Adversarial Evaluation through Fairness Confusion Directed Gradient Search. - Xuran Li; Peng Wu 002; Kaixiang Dong; Zhen Zhang (CoRR, 2023)

Universal Construction for Linearizable but Not Strongly Linearizable Concurrent Objects. - Chao Wang 069; Peng Wu 002; Gustavo Petri; Qiaowen Jia; Youlin He; Yi Lv; Zhiming Liu 001 (SETTA, 2024)

Intrathread Method Orders Based Adaptive Testing of Concurrent Objects. - Yibo Dai; Peng Wu 002; Shecheng Cui; Linhai Ma (TASE, 2024)

The Double-Edged Sword of Input Perturbations to Robust Accurate Fairness. - Xuran Li; Peng Wu 002; Yanting Chen; Xingjun Ma; Zhen Zhang; Kaixiang Dong (CoRR, 2024)

An Interleaving Guided Metamorphic Testing Approach for Concurrent Programs. - Chang-Ai Sun; Hepeng Dai; Ning Geng; Huai Liu; Tsong Yueh Chen; Peng Wu 002; Yan Cai 001; Jinqiu Wang (ACM Trans. Softw. Eng. Methodol., 2024)

Boosting Generalizable Fairness With Mahalanobis Distances Guided Boltzmann Exploratory Testing. - Kaixiang Dong; Peng Wu 002; Yanting Chen (IEEE Trans. Software Eng., 2025)

Intrathread method orders based adaptive testing of concurrent objects. - Yibo Dai; Li Xie; Peng Wu 002; Shecheng Cui; Linhai Ma (Sci. Comput. Program., 2026)