Abstract:This paper discusses some developments and results of the theory of test generation from automata. These developments are driven by the needs to better understand the nature of automata testing and thus to make the testing theory more applicable to real systems. We provide an overview of some important results in automata testing recently obtained in the Soviet Union and in the countries that have arisen from it. Keywords Automaton (finite state machine), testing problems, checking experiments and sequences, c… Show more
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.