Property based integration testing for Axon applications