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. (Programming and Software Engineering, 2017)