APPLICATION OF GENETIC PROGRAMMING AND MODEL CHECKING FOR FINITE-STATE MACHINE INDUCTION ON THE BASE OF TESTS AND SPECIFICATION
Read the full article
We describe the method of finite state machine induction using both genetic programming and model
verification based on testing and model checking. The description of chromosome structure, of genetic
algorithm, of cross-over and mutation operations is given. Experimental results for the induction of elevator
doors control system are given.