| |
other persons with the same name:
| 2007 | ||
|---|---|---|
| 6 | EE | Daguang Liu, Peng Wu, Huimin Lin: Symbolic Test Generation Using a Temporal Logic with Constrained Events. Formal Methods and Hybrid Real-Time Systems 2007: 467-471 |
| 2006 | ||
| 5 | EE | Yuxin Deng, Jun Pang, Peng Wu: Measuring Anonymity with Relative Entropy. Formal Aspects in Security and Trust 2006: 65-79 |
| 4 | EE | Peng Wu, Huimin Lin: Model-based Testing of Concurrent Programs with Predicate Sequencing Constraints. International Journal of Software Engineering and Knowledge Engineering 16(5): 727-746 (2006) |
| 2005 | ||
| 3 | EE | Peng Wu: Iterative Metamorphic Testing. COMPSAC (1) 2005: 19-24 |
| 2 | EE | Peng Wu, Dongmei Zhang: Compositional Modelling and Verification of IPv6 Mobility. FORTE 2005: 553-556 |
| 1 | EE | Peng Wu, Huimin Lin: Model-Based Testing of Concurrent Programs with Predicate Sequencing Constraints. QSIC 2005: 3-10 |
| 1 | Yuxin Deng | [5] |
| 2 | Huimin Lin | [1] [4] [6] |
| 3 | Daguang Liu | [6] |
| 4 | Jun Pang | [5] |
| 5 | Dongmei Zhang | [2] |