finite state testing

finite state testing

See state transition testing