Keynote at AISM @ ASE 2025, "Benchmarking GenAI for Software Engineering - Challenges and Insights", Seoul, South Korea, November 20, 2025 Position Paper, Engineering Trustworthy Software - A Mission for LLMs! Keynote at LADC 2024, "LLMs for Trustworthy Software Engineering - Insights and Challenges", Recife, PE, Brazil, November 28, 2024