Xudong He

A methodology of testing high-level Petri nets

Hong Zhu, Xudong He · Information and Software Technology · 2002 · 56 citations · Full text

Computing, Systems Engineering, Formal Methods +5

A new approach to verify rule-based systems using Petri nets

Xudong He, William C. Chu, Haoran Yang et al. · 2003 · 36 citations

Computing, Computer Science, Systems Engineering +15

A methodology for constructing predicate transition net specifications

Xudong He, John A. N. Lee · Software Practice and Experience · 1991 · 36 citations

Engineering, Computer Science, Systems Engineering +17

A methodology for test selection

J.A.N. Lee, Xudong He · Journal of Systems and Software · 1990 · 30 citations

Education, Educational Assessment, Educational Measurement +9

Integrating predicate transition nets with first order temporal logic in the specification and verification of concurrent systems

Xudong He, John A. N. Lee · Formal Aspects of Computing · 1990 · 27 citations · Full text

Computing, Computer Engineering, Computer Science +16