Automated Unit Testing of Large Industrial Embedded Software using Concolic Testing Yunho Kim, Moonzoo Kim SW Testing & Verification Group KAIST, South.