Concolic Testing Framework for Industrial Embedded Software. - Taeksu Kim; Jonghyun Park; Igor Kulida; Yoonkyu Jang (APSEC (2), 2014)