Using Symbolic Execution in Embedded Software Testing. - Yu Hong; Song Huang; Xiaoming Liu; Xiushan Yu (CSSE (2), 2008)