Automating resilience testing with Docker and Property Based testing by Daniel Lebrero