A Tool for Modeling and Behavioral Tests Generation of Embedded Software
Keywords:
finite state machines, embedded systems, automatic testing, software tool, system design