I wrote an article about using state machines for testing complicated business logic: https://medium.com/cleartax-engineering/enumerating-test-cases-by-multiplying-state-machines-c1bedbf0e8e6