Functional Test Generation Based on Requirements Defined at GUI Level. - Bogumila Hnatkowska; Kacper Wójcikowski (ACIIDS (Companion 1), 2024)