%0 Journal Article %1 chow_78_testing %A Chow, T. S. %B Transactions on Software Engineering %D 1978 %J Transactions on Software Engineering %K tests fsm 1978 seminal %N 3 %P 178--187 %R 10.1109/TSE.1978.231496 %T Testing Software Design Modeled by Finite-State Machines %U http://dx.doi.org/http://dx.doi.org/10.1109/TSE.1978.231496 %V SE-4 %X 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.

@article{chow_78_testing, abstract = {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.}, added-at = {2009-02-11T22:23:56.000+0100}, author = {Chow, T. S.}, biburl = {https://www.bibsonomy.org/bibtex/2ab9363172a96af25a2495020d4cb1b96/leonardo}, booktitle = {Transactions on Software Engineering}, citeulike-article-id = {2085878}, doi = {10.1109/TSE.1978.231496}, interhash = {51cd6e8533b897e40952933242602cd2}, intrahash = {ab9363172a96af25a2495020d4cb1b96}, journal = {Transactions on Software Engineering}, keywords = {tests fsm 1978 seminal}, number = 3, pages = {178--187}, posted-at = {2007-12-10 14:31:35}, priority = {4}, timestamp = {2009-02-11T22:23:56.000+0100}, title = {Testing Software Design Modeled by Finite-State Machines}, url = {http://dx.doi.org/http://dx.doi.org/10.1109/TSE.1978.231496}, volume = {SE-4}, year = 1978 }