A semi-automated approach to UDS implementation testing - Rodrigo Araújo Castro (2023)