Peng WU

I was a CNRS postdoc at the Laboratoire d'Informatique (LIX), École Polytechnique. I got my Ph.D. in Computer Science at Lab of Computer Science, Institute of Software, Chinese Academy of Sciences, under the supervision of Prof. Huimin Lin.

Redirecting to my new webpage soon...

Projects	Printemp (Information Theory, Anonymity), ProNoBis (Probabilistic pi-Calculus, Model Checking) and Bedwyr (Case Study: Value-Passing CCS, pi-Calculus, Bisimulation, MUTE)
Conferences	COMPSAC'05 ETAPS'06 POPL'07 TESTCOM/FATES'07 QEST'07

Publications

Journal

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

Conference & Workshop Proceedings

Peng Wu, Catuscia Palamidessi and Huimin Lin. Symbolic Bisimulations for Probabilistic Systems. To appear in the proceedings of the 4th International Conference on the Quantitative Evaluation of SysTems (QEST 2007), Edinburgh, Scotland, Sep. 16 - 19, 2007 [report version]
Gethin Norman, Catuscia Palamidessi, David Parker and Peng Wu. Model Checking the Probabilistic pi-Calculus. To appear in the proceedings of the 4th International Conference on the Quantitative Evaluation of SysTems (QEST 2007), Edinburgh, Scotland, Sep. 16 - 19, 2007 [PRISM]
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), Ontario, Canada, Aug. 26 - 27, 2006, LNCS, To Appear
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 Report

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]

Thesis

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]

Software
pi2promela	A compiler from pi-calculus to Promela. [download+manual][reference]
MTest	An integrated metamorphic testing environment that supports special case tesing, random testing and n-iterative metamorphic testing. [reference 1 2][under maintenance]
PSCL-Based Symbolic Test Generator	A symbolic test case generator based on predicate sequencing constraint logic(PSCL). [download+manual][reference 1 2]

Peng WU

pi2promela

MTest

PSCL-Based Symbolic Test Generator