Interoperability test suite derivation for communication protocols

Testing Software Design Modeled by Finite-State Machines

Tsun S. Chow · IEEE Transactions on Software Engineering · 1978 · 1.4K citations

Computing, Computer Science, Fault-tolerant Systems +15

Principles and methods of testing finite state machines-a survey

D. Lee, Mihalis Yannakakis · Proceedings of the IEEE · 1996 · 1.2K citations

Computing, Computer Engineering, Computer Science +13

Test selection based on communicating nondeterministic finite-state machines using a generalized Wp-method

Gang Luo, Gregor von Bochmann, Alexandre Petrenko · IEEE Transactions on Software Engineering · 1994 · 266 citations

Computing, Computer Engineering, Computer Science +16

From Conformance Testing to Interoperability Testing

Omar Rafiq · Stroke · 1990 · 41 citations

Engineering, Computer Science, Systems Engineering +12

A COS study of OSI interoperability

J.G. Gadre, Chris Rohrer, Catherine Summers et al. · Computer Standards & Interfaces · 1989 · 32 citations

Engineering, Computer Science, Computer Systems +14