What is finite state testing in software testing?