STATES, STATE GRAPHS, AND TRANSITION TESTING - ppt download