AMADEUS: towards the AutoMAteD secUrity teSting. - Ángel Jesús Varela-Vaca; Rafael M. Gasca; Jose Antonio Carmona-Fombella; María Teresa Gómez-López (SPLC (A), 2020)