COOP - AutomatiC ValidatiOn of EvOlving Microservice ComPositions. - Olga Groh; Harun Baraki; Alexander Jahl; Kurt Geihs (SATToSE, 2019)