Efficient fuzz testing of web services. - Matús Ferech; Pavel Tvrdík (QRS, 2023)