Testing AUTOSAR software with QuickCheck2015-04-010 PRE AI DOI:10.1109/icstw.2015.7107466OriginalOriginal request for helpShareSaveAbstract En