Software Technology: Methods and Tools 51st International Conference, TOOLS 2019, Innopolis, Russia, October 15-17, 2019, Proceedings - Mazzara, Manuel; Mazzara, Manuel; Bruel, Jean-Michel; Bruel, Jean-Michel; Meyer, Bertrand; Meyer, Bertrand; Petrenko, Alexander; Petrenko, Alexander (Springer International Publishing : Imprint: Springer, 2019)