Accurate source-level simulation of embedded software with respect to compiler optimizations
Keyword(s):
Keyword(s):