Peng Wu 0002 - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 23 from 23

2024

An Interleaving Guided Metamorphic Testing Approach for Concurrent ProgramsChang-ai Sun, Hepeng Dai, Ning Geng, Huai Liu, Tsong Yueh Chen, Peng Wu 0002, Yan Cai 0001, Jinqiu Wang. TOSEM, 33(1), January 2024. [doi]

2023

VeriLin: A Linearizability Checker for Large-Scale Concurrent ObjectsQiaowen Jia, Yi Lv, Peng Wu 0002, Bohua Zhan, Jifeng Hao, Hong Ye, Chao Wang 0069. tase 2023: 202-220 [doi]

2022

Adversarial Input Detection Based on Critical Transformation RobustnessJing Su, Zhen Zhang, Peng Wu 0002, Xuran Li, Jian Zhang. issre 2022: 390-401 [doi]

2020

An iterative metamorphic testing technique for web services and case studiesChang-ai Sun, An Fu, Yiqiang Liu, Qing Wen, Zuoyi Wang, Peng Wu 0002, Tsong Yueh Chen. ijwgs, 16(4):364-392, 2020. [doi]

2018

Diversity driven adaptive test generation for concurrent data structuresLinhai Ma, Peng Wu 0002, Tsong Yueh Chen. INFSOF, 103:162-173, 2018. [doi]

TSO-to-TSO linearizability is undecidableChao Wang, Yi Lv, Peng Wu 0002. ACTA, 55(8):649-668, 2018. [doi]

Decidability of linearizabilities for relaxed data structuresChao Wang, Yi Lv, Peng Wu 0002. chinaf, 61(1), 2018. [doi]

2017

Decomposable Relaxation for Concurrent Data StructuresChao Wang, Yi Lv, Peng Wu 0002. sofsem 2017: 188-202 [doi]

2016

An Experiment on Decision Diagrams for Model Checking Probabilistic Timed AutomataWei Ji, Farn Wang, Peng Wu 0002, Yi Lv. ICECCS 2016: 111-121 [doi]

Modelling and Analysis of Network Security - An Algebraic ApproachQian Zhang, Ying Jiang, Peng Wu 0002. trustcom 2016: 308-315 [doi]

2015

Input-Driven Active Testing of Multi-threaded ProgramsHan Yue, Peng Wu 0002, Tsong Yueh Chen, Yi Lv. apsec 2015: 246-253 [doi]

2013

Assume-Guarantee Reasoning with Local SpecificationsAlessio Lomuscio, Ben Strulo, Nigel G. Walker, Peng Wu 0002. ijfcs, 24(4):419-444, 2013. [doi]

2010

Model Checking Optimisation Based Congestion Control AlgorithmsAlessio Lomuscio, Ben Strulo, Nigel G. Walker, Peng Wu 0002. FUIN, 102(1):77-96, 2010. [doi]

Assume-Guarantee Reasoning with Local SpecificationsAlessio Lomuscio, Ben Strulo, Nigel G. Walker, Peng Wu 0002. icfem 2010: 204-219 [doi]

2009

Model Checking Probabilistic and Stochastic Extensions of the pi-CalculusGethin J. Norman, Catuscia Palamidessi, David Parker, Peng Wu 0002. TSE, 35(2):209-223, 2009. [doi]

2007

Symbolic Bisimulations for Probabilistic SystemsPeng Wu 0002, Catuscia Palamidessi, Huimin Lin. qest 2007: 179-188 [doi]

Symbolic Test Generation Using a Temporal Logic with Constrained EventsDaguang Liu, Peng Wu 0002, Huimin Lin. birthday 2007: 467-471 [doi]

Model checking the probabilistic pi-calculusGethin J. Norman, Catuscia Palamidessi, David Parker, Peng Wu 0002. qest 2007: 169-178 [doi]

2006

Model-based Testing of Concurrent Programs with Predicate Sequencing ConstraintsPeng Wu 0002, Huimin Lin. ijseke, 16(5):727-746, 2006. [doi]

Measuring Anonymity with Relative EntropyYuxin Deng, Jun Pang, Peng Wu 0002. ifip1-7 2007: 65-79 [doi]

2005

Model-Based Testing of Concurrent Programs with Predicate Sequencing ConstraintsPeng Wu 0002, Huimin Lin. ehci 2005: 3-10 [doi]

Iterative Metamorphic TestingPeng Wu 0002. compsac 2005: 19-24 [doi]

Compositional Modelling and Verification of IPv6 MobilityPeng Wu 0002, Dongmei Zhang. forte 2005: 553-556 [doi]

Sign in or sign up to see more results.

runs on WebDSL