Automatisiertes Testen Eingebetteter Systeme in der Automobilindustrie | lit.salon