Software Technology Methods and Tools 51st International Conference, TOOLS 2019, Innopolis, Russia, October 15-17, 2019, Proceedings / - Mazzara, Manuel. (Springer International Publishing,)