M.Kim. Automated unit testing of large industrial embedded software using concolic testing (2013)

by Y Kim Y Kim, G Lee T Kim, Y Jang
Venue:In ASE Experience Track