Bordersearch: Efficient Characterization of Automotive Electronic Systems Through Machine LearningMarkus DoblerAgotadoNotifícame