Dependable software engineering theories, tools, and applications : Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017 : proceedings - Larsen, Kim Guldstrand 1957-; Sokolsky, Oleg; Wang, Ji (Springer, 2017)