Model-based testing of automotive software: some challenges and solutions.

Alexandre Petrenko, Omer Nguena-Timo, S. Ramesh

Browse the full DAC paper archive.