Concolic Testing Framework for Industrial Embedded Software.

Taeksu Kim, Jonghyun Park, Igor Kulida, Yoonkyu Jang

Browse the full APSEC paper archive.