Property based testing for Stateful apps by Akshay Karle