Title: Ein Testerzeugungsverfahren für digitale Schaltungen auf der Verhaltensebene