SETTA

International Symposium on Dependable Software Engineering: Theories, Tools, and Applications