Dependable software engineering theories, tools, and applications : 6th international symposium, SETTA 2020, Guangzhou, China, November 24–27, 2020 : proceedings - Pang, Jun; Zhang, Lijun (Springer, 2020)