Testing for Event-Driven Microservices Based on Consumer-Driven Contracts and State Models | IEEE Conference Publication | IEEE Xplore