Luo, Gang Bochmann, Gregor V. <br/><br/>
Test Selection Based on Communicating Nondeterministic Finite-State Machines Using a Generalized Wp- Method 

 - 149-162 p. 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Concurrent Programs<br/>Software Engineering<br/>and Future Internet