Application of finite automatons for program testing
- 1 March 2000
- journal article
- Published by Springer Science and Business Media LLC in Programming and Computer Software
- Vol. 26 (2), 61-73
- https://doi.org/10.1007/bf02759192
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- The state-based testing of object-oriented programsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Using test oracles generated from program documentationIEEE Transactions on Software Engineering, 1998
- Formal Derivation of Finite State Machines for Class TestingLecture Notes in Computer Science, 1998