Test Selection Based on Communicating Nondeterministic Finite-State Machines Using a Generalized WP-Method

We present a method of generating test sequences for concurrent programs and communication protocols that are modeled as communicating nondeterministic finite state machines (CNFSMs). A conformance relation, called trace-equivalence, is defined within this model, serving as a guide to test generation. A test generation method for a single nondeterministic… CONTINUE READING

9 Figures & Tables



Citations per Year

257 Citations

Semantic Scholar estimates that this publication has 257 citations based on the available data.

See our FAQ for additional information.