Gethin Norman, Catuscia
Palamidessi, David Parker and Peng Wu. Model Checking Probabilistic and
Stochastic Extensions of the Pi-calculus. IEEE Transactions on Software
Engineering, 2009, 35(2): 209 - 223 [full-text][MMCsp]
Peng Wu,
Huimin Lin, Model-Based Testing of Concurrent Programs with Predicate
Sequencing Constraints. International Journal of Software Engineering and
Knowledge Engineering, 2006, 16(5): 727 - 746 [abstract+full-text/WorldScientific][PSCL]
Peng Wu. Analyzing
Interoperability of Protocols Using Model Checking. The Chinese Journal of
Electronics, 2005, 14(3): 453 - 457 (A preliminary
version was accepted by the 1st International Workshop on Automated
Technology for Verification and Analysis (ATVA 2003), National Taiwan
University, Dec. 10 - 13, 2003)
Peng
Wu, Xiaochun Shi, Jiangjun Tang, Huimin Lin, T. Y. Chen. Metamorphic Testing
and Special Case Testing: A Case Study. Journal of Software, 2005, 16(7): 1210
- 1220 [abstract +
full-text][MTest]
Peng
Wu. Interpreting pi-Calculus with Spin/Promela. Computer Science, 2003,
8: 7 - 9, Supplement(the Proceedings of National Conference on Theoretical
Computer Science, Qingdao, China, Aug. 3 - 7, 2003 [An English version][pi2promela]
Peng Wu, Qiang Gao,
Implementation of Home Networking: Technical Research, Accepted by Computer
Engineering and Application, 2001
Conferences & Workshop
Proceedings
Alessio Lomuscio, Ben Strulo,
Nigel G. Walker, Peng Wu. Model Checking Optimisation-Based Congestion Control
Models. In the Proceedings of the 12th International Workshop on Concurrency,
Specification and Programming (CS&P 2009). Krakow, Poland, Sep. 28 - 30,
2009. To appear.
Peng Wu, Catuscia Palamidessi
and Huimin Lin. Symbolic Bisimulations for Probabilistic Systems. In the
proceedings of the 4th International Conference on the Quantitative Evaluation
of SysTems (QEST 2007), pp. 179 - 188, Edinburgh, Scotland, Sep. 16 - 19, 2007
[report version]
Gethin
Norman, Catuscia Palamidessi, David Parker and Peng Wu. Model Checking the
Probabilistic pi-Calculus. In the proceedings of the 4th International
Conference on the Quantitative Evaluation of SysTems (QEST 2007), pp. 169 -
178, Edinburgh, Scotland, Sep. 16 - 19, 2007 [full-text][MMCsp]
Peng Wu,
Daguang Liu and Huimin Lin. Symbolic Test Generation Using a Temporal Logic
with Constrained Events. Position
Paper. In the Proceedings of the 19th IFIP International Conference on
Testing of Communicating Systems and the 7th International Workshop on Formal
Approaches to Testing of Software (TESTCOM/FATES 2007), Tallinn, Estonia,
Jun. 26-29, 2007 [PSCL]
Yuxin Deng, Jun
Pang, Peng Wu. Measuring Anonymity with Relative Entropy. In
the Proceedings of the 4th International Workshop on Formal Aspects in
Security and Trust (FAST 2006), LNCS pp. 65 - 79, Ontario, Canada, Aug.
26 - 27, 2006
Peng Wu, Dongmei Zhang.
Compositional Modelling and Verification of IPv6 Mobility. In the Proceedings
of the 25th IFIP WG 6.1 International Conference on Formal Techniques for
Networked and Distributed Systems (FORTE 2005), LNCS 3731, pp. 553 - 556,
National Taiwan University, Oct. 2 - 5, 2005 [abstract +
full-text/SpringerLink]
Peng Wu,
Huimin Lin. Model-Based Testing of Concurrent Programs with Predicate
Sequencing Constraints. In the Proceedings of the 5th International Conference
On Quality Software (QSIC 2005), pp. 3 - 10, Melbourne, Australia, Sep.
19 - 20, 2005 [abstract +
full-text/IEEE][PSCL]
Peng
Wu. Iterative Metamorphic Testing. In the Proceedings of 29th Annual
International Computer Software and Applications Conference(COMPSAC
2005), pp. 19 - 24, Edinburgh, UK, Jul. 26 - 28, 2005 [abstract +
full-text/IEEE][MTest]
Peng Wu, Dongmei Zhang.
Compositional Analysis of Mobile Network Protocols. Accepted by International
Workshop on Software Verification and Validation (SVV 2004), Seattle, USA,
Nov. 8, 2004
Peng Wu, Dongmei Zhang.
Compositional Analysis of Mobile IP with Symbolic Transition Graph. In the
Proceedings of 16th International Conference on Computer Communication (ICCC
2004), pp.1481 - 1488, Beijing, China, Sep. 15 - 17, 2004 [full-text]
Peng Wu, Jiangjun Tang,
Xiaochun Shi. Software Reliability Model and Engineering. In the Proceedings
of National Conference on Reliability Technologies in National Defense
Industry, pp.134 - 141, Beijing, China, Nov. 4 - 7, 2003
Peng Wu, Qiang Gao.
Incompleteness of Bluetooth Protocol Conformance Test Cases. In the
Proceedings of SPIE, Conference on Asia-Pacific Optical and Wireless
Communications: Wireless and Mobile Communications (APOC 2001), Vol.4586,
pp.266 - 273, Beijing, China, Nov. 12 - 15 [abstract +
full-text/SPIE]
Technical Reports
Alessio Lomuscio, Ben Strulo,
Nigel G. Walker, Peng Wu. Assume-Guarantee Verification for Distributed Systems
with Local Specifications. Research Note RN/10/01, Department of Computer Science, University
College London. February 2010 [full-text]
Alessio Lomuscio, Ben Strulo,
Nigel G. Walker, Peng Wu. Model Checking Optimisation-Based Congestion Control
Models. Research Note RN/09/02, Department of Computer Science, University
College London. March 2009 [full-text]
Gethin Norman, Catuscia
Palamidessi, David Parker and Peng Wu. Translating the Probabilistic
pi-Calculus to PRISM. Technical Report CSR-07-02, School of Computer Science,
University of Birmingham. March 2007 [full-text]
Peng Wu, Dongmei Zhang.
Compositional Analysis of Mobile Network Protocols. Technical Report
ISCAS-LCS-05-02, Lab of Computer Science, Institute of Software, Chinese
Academy of Sciences, March 2005 [full-text]
Theses
Peng Wu, Model Checking and
Testing of Concurrent Systems, Ph.D. Thesis, Jun. 28, 2005 [abstract]
Peng Wu, Validation,
Implementation and Conformance Testing of Bluetooth SDP, M.S. Thesis, Jun.
2001 [abstract]
MTest [reference 12],
an integrated metamorphic testing environment that supports special case
tesing, random testing and n-iterative metamorphic testing.
PSCL-Based Symbolic Test
Generator [download+manual][reference 123], a symbolic test case generator based on predicate
sequencing constraint logic(PSCL).
MMCsp [download+manual][reference 12], an extension of MMC for a simple probabilistic
pi-calculus.