Concepedia

A test case generation approach for conformance testing of SDL systems

C. Bourhfir, E.M. Aboulhamid, Rachida Dssouli, N. Rico

Computer Communications · 2001 · 26 citations · 7 references

Concepts

ComputingComputer ScienceModel-based Systems EngineeringSoftware EngineeringBuilt-in Self-testDesign For TestabilityExecutable System ModelsModel-driven Software EngineeringSoftware TestingTestbenchesAutomated Test GenerationConformance TestingSoftware Testing ProcessTest Case DevelopmentTest Case GenerationTest GenerationTesting

References

7

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

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

An improved protocol validation technique

Jack Rubin, Colin H. West · Computer Networks (1976) · 1982 · 102 citations

Pharmacy, Cybersecurity, Method Validation +9

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

Protocol Validation by Maximal Progress State Exploration

Mohamed G. Gouda, Yimin Yu · IEEE Transactions on Communications · 1984 · 85 citations

Computing, Computer Engineering, Computer Science +12