Test cases selection from SDL specifications

Selecting Software Test Data Using Data Flow Information

S. Rapps, Elaine J. Weyuker · IEEE Transactions on Software Engineering · 1985 · 1.1K citations

Computing, Computer Science, Compilers +13

Test selection based on finite state models

Susumu Fujiwara, Gregor von Bochmann, Ferhat Khendek et al. · IEEE Transactions on Software Engineering · 1991 · 564 citations

Computing, Computer Engineering, Computer Science +16

A Test Design Methodology for Protocol Testing

B. Sarikaya, Gregor von Bochmann, E. Cerny · IEEE Transactions on Software Engineering · 1987 · 128 citations

Computing, Computer Science, Formal Methods +16

A test sequence selection method for protocol testing

Hasan Ural, Bo Yang · IEEE Transactions on Communications · 1991 · 112 citations

Computing, Computer Science, Formal Methods +16

Conformance testing of protocols specified as communicating finite state machines-a guided random walk based approach

D. Lee, Krishan Sabnani, David M. Kristol et al. · IEEE Transactions on Communications · 1996 · 89 citations

Computing, Computer Engineering, Computer Science +16