Efficient stimulus generation for testing embedded distributed systems the FlexRay example.

Eric Armengaud, Andreas Steininger, Martin Horauer

Browse the full ETFA paper archive.