Dependable software engineering: theories, tools, and applications : First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015. Proceedings (2015)