Automatic white-box testing with Free monads: approach description and showcase - View it on GitHub