Test Generation for Embedded Executables via Concolic Execution in a Real Environment | IEEE Journals & Magazine | IEEE Xplore