Test Program Generator for AUTOSAR OS. - Kazuto Shigihara; Shinya Honda; Hiroaki Takada (EDCC, 2017)