Riccardo Coppola, Luca Ardito, Gordon Fraser, Maurizio Leotta: Proceedings of the 2nd International Workshop on Gamification in Software Development, Verification, and Validation, Gamify 2023, San Francisco, CA, USA, 4 December 2023. ACM 2023