TY  - SER
AU  - Luo, Gang
AU  - Bochmann, Gregor V.
TI  - Test Selection Based on Communicating Nondeterministic Finite-State Machines Using a Generalized Wp- Method
KW  - Concurrent Programs
KW  - Software Engineering
KW  - and Future Internet
ER  -