Automatisierte Testfallerzeugung auf Grundlage einer zustandsbasierten Funktionsbeschreibung für Kraftfahrzeugsteuergeräte

Bok av Michael Brost