%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 \_pdf %N 3 %P 178--187 %R http://dx.doi.org/http://dx.doi.org/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-03-10T04:34:34.000+0100}, author = {Chow, T. S.}, biburl = {https://www.bibsonomy.org/bibtex/2e57c82edffd31a609b51fe109d93d85e/leonardo}, booktitle = {Transactions on Software Engineering}, citeulike-article-id = {2085878}, doi = {http://dx.doi.org/http://dx.doi.org/10.1109/TSE.1978.231496}, interhash = {0e1d7aabbd648226f887eb91206d2472}, intrahash = {e57c82edffd31a609b51fe109d93d85e}, journal = {Transactions on Software Engineering}, keywords = {tests fsm 1978 seminal \_pdf}, number = 3, pages = {178--187}, posted-at = {2007-12-10 14:31:35}, priority = {4}, timestamp = {2009-03-10T04:34:34.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 }