Multi-core and VMM Based Non-interference Test Method of Embedded System Software. - Jiong Zhang; Zixu Lv; Xiang Long; Yuebin Bai (ScalCom-EmbeddedCom, 2009)