A New Specification-based Test Data Generation Strategy for OSEK OS. - Lin Zhou; Min Yao; Yongjun Li; Chengshuo Zhang; Liujie Yao (CIT, 2010)