Specification based testing of automotive human machine interfaces.

Holger Grandy, Sebastian Benz

Browse the full GI paper archive.