Dependable software engineering. Theories, tools, and applications : Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017. Proceedings (2017)