Gamified GUI testing with Selenium in the IntelliJ IDE: A Prototype Plugin. - Giacomo Garaccione; Tommaso Fulcini; Paolo Stefanut Bodnarescul; Riccardo Coppola; Luca Ardito (IDE@ICSE, 2024)