Timothy Bourke Liqian Chen Amir Kafshdar Goharshady Dependable Software Engineering. Theories, Tools, and Applications - 10th International Symposium, SETTA 2024, Hong Kong, China, November 26-28, 2024, Proceedings SETTA Springer 2025 Lecture Notes in Computer Science 15469 978-981-96-0601-6 978-981-96-0602-3 https://doi.org/10.1007/978-981-96-0602-3 db/conf/setta/setta2024.html