IEEE Transactions on Software Engineering · 1978 · 1.4K citations · 11 references
ComputingComputer ScienceFault-tolerant SystemsModel-based Systems EngineeringSystems ModelingAutomata TheoryDesign For TestabilityFinite AutomataFinite State Machine ModelingFinite-state MachinesSoftware TestingAutomata In Formal VerificationControl StructuresFinite Automata TheoryFinite State Machine DesignFinite State Machine SpecificationFinite-state VerificationTesting
We propose a method of testing the correctness of control structures that can be modeled by a finite-state machine. Test results derived from the design are evaluated against the specification. No "executable" prototype is required. The method is based on a result in automata theory and can be applied to software testing. Its error-detecting capability is compared with that of other approaches. Application experience is summarized.
11
Introduction to the theory of finite-state machines
S. Seshu · Proceedings of the IEEE · 1963 · 546 citations
Toward a theory of test data selection
John B. Goodenough, Susan L. Gerhart · ACM SIGPLAN Notices · 1975 · 520 citations
Fault detecting experiments for sequential circuits
F. C. Hennine · 1964 · 428 citations