Peng Wu

According to our database, Peng Wu authored at least 31 papers between 2005 and 2024.

Collaborative distances:

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

2024

An Interleaving Guided Metamorphic Testing Approach for Concurrent Programs.

Chang-Ai Sun, Hepeng Dai, Ning Geng, Huai Liu, Tsong Yueh Chen, Peng Wu, Yan Cai, Jinqiu Wang

ACM Trans. Softw. Eng. Methodol., January, 2024

2023

RobustFair: Adversarial Evaluation through Fairness Confusion Directed Gradient Search.

Xuran Li, Peng Wu, Kaixiang Dong, Zhen Zhang

CoRR, 2023

VeriLin: A Linearizability Checker for Large-Scale Concurrent Objects.

Qiaowen Jia, Yi Lv, Peng Wu, Bohua Zhan, Jifeng Hao, Hong Ye, Chao Wang

Proceedings of the Theoretical Aspects of Software Engineering, 2023

Accurate Fairness: Improving Individual Fairness without Trading Accuracy.

Xuran Li, Peng Wu, Jing Su

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

Adversarial Input Detection Based on Critical Transformation Robustness.

Jing Su, Zhen Zhang, Peng Wu, Xuran Li, Jian Zhang

Proceedings of the IEEE 33rd International Symposium on Software Reliability Engineering, 2022

2021

Out-of-Distribution Detection through Relative Activation-Deactivation Abstractions.

Zhen Zhang, Peng Wu, Yuhang Chen, Jing Su

Proceedings of the 32nd IEEE International Symposium on Software Reliability Engineering, 2021

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, Tsong Yueh Chen

Int. J. Web Grid Serv., 2020

Fairness Testing of Machine Learning Models Using Deep Reinforcement Learning.

Wentao Xie, Peng Wu

Proceedings of the 19th IEEE International Conference on Trust, 2020

2018

Diversity driven adaptive test generation for concurrent data structures.

Linhai Ma, Peng Wu, Tsong Yueh Chen

Inf. Softw. Technol., 2018

Decidability of linearizabilities for relaxed data structures.

Chao Wang, Yi Lv, Peng Wu

Sci. China Inf. Sci., 2018

TSO-to-TSO linearizability is undecidable.

Chao Wang, Yi Lv, Peng Wu

Acta Informatica, 2018

Interleaving-Tree Based Fine-Grained Linearizability Fault Localization.

Yang Chen, Zhenya Zhang, Peng Wu, Yu Zhang

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2018

2017

Localization of Linearizability Faults on the Coarse-Grained Level.

Zhenya Zhang, Peng Wu, Yu Zhang

Int. J. Softw. Eng. Knowl. Eng., 2017

Decomposable Relaxation for Concurrent Data Structures.

Chao Wang, Yi Lv, Peng Wu

Proceedings of the SOFSEM 2017: Theory and Practice of Computer Science, 2017

Synthesizing Coalitions for Multi-agent Games.

Wei Ji, Farn Wang, Peng Wu

Proceedings of the Integrated Formal Methods - 13th International Conference, 2017

2016

Modelling and Analysis of Network Security - An Algebraic Approach.

Qian Zhang, Ying Jiang, Peng Wu

Proceedings of the 2016 IEEE Trustcom/BigDataSE/ISPA, 2016

Bounded TSO-to-SC Linearizability Is Decidable.

Chao Wang, Yi Lv, Peng Wu

Proceedings of the SOFSEM 2016: Theory and Practice of Computer Science, 2016

An Experiment on Decision Diagrams for Model Checking Probabilistic Timed Automata.

Wei Ji, Farn Wang, Peng Wu, Yi Lv

Proceedings of the 21st International Conference on Engineering of Complex Computer Systems, 2016

2015

Input-Driven Active Testing of Multi-threaded Programs.

Han Yue, Peng Wu, Tsong Yueh Chen, Yi Lv

Proceedings of the 2015 Asia-Pacific Software Engineering Conference, 2015

Quasi-Linearizability is Undecidable.

Chao Wang, Yi Lv, Gaoang Liu, Peng Wu

Proceedings of the Programming Languages and Systems - 13th Asian Symposium, 2015

2014

Efficiently and Completely Verifying Synchronized Consistency Models.

Yi Lv, Luming Sun, Xiaochun Ye, Dongrui Fan, Peng Wu

Proceedings of the Automated Technology for Verification and Analysis, 2014

2013

Assume-Guarantee Reasoning with Local Specifications.

Alessio Lomuscio, Ben Strulo, Nigel G. Walker, Peng Wu

Int. J. Found. Comput. Sci., 2013

2010

Model Checking Optimisation Based Congestion Control Algorithms.

Alessio Lomuscio, Ben Strulo, Nigel G. Walker, Peng Wu

Fundam. Informaticae, 2010

2009

Model Checking Probabilistic and Stochastic Extensions of the pi-Calculus.

Gethin Norman, Catuscia Palamidessi, David Parker, Peng Wu

IEEE Trans. Software Eng., 2009

2007

Symbolic Bisimulations for Probabilistic Systems.

Peng Wu, Catuscia Palamidessi, Huimin Lin

Proceedings of the Fourth International Conference on the Quantitative Evaluaiton of Systems (QEST 2007), 2007

Model checking the probabilistic pi-calculus.

Gethin Norman, Catuscia Palamidessi, David Parker, Peng Wu

Proceedings of the Fourth International Conference on the Quantitative Evaluaiton of Systems (QEST 2007), 2007

Symbolic Test Generation Using a Temporal Logic with Constrained Events.

Daguang Liu, Peng Wu, Huimin Lin

Proceedings of the Formal Methods and Hybrid Real-Time Systems, 2007

2006

Model-based Testing of Concurrent Programs with Predicate Sequencing Constraints.

Peng Wu, Huimin Lin

Int. J. Softw. Eng. Knowl. Eng., 2006

Measuring Anonymity with Relative Entropy.

Yuxin Deng, Jun Pang, Peng Wu

Proceedings of the Formal Aspects in Security and Trust, Fourth International Workshop, 2006

2005

Compositional Modelling and Verification of IPv6 Mobility.

Peng Wu, Dongmei Zhang

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2005

Iterative Metamorphic Testing.

Peng Wu

Proceedings of the 29th Annual International Computer Software and Applications Conference, 2005