Dependable Software Engineering. Theories, Tools, and Applications Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings - Larsen, Kim Guldstrand; Sokolsky, Oleg; Wang, Ji (Springer International Publishing : Imprint: Springer, 2017)