Combination of instruction set simulation and abstract RTOS model execution for fast and accurate target software evaluation.

Matthias Krause Dominik Englert Oliver Bringmann Wolfgang Rosenstiel Combination of instruction set simulation and abstract RTOS model execution for fast and accurate target software evaluation. 143-148 2008 CODES+ISSS http://doi.acm.org/10.1145/1450135.1450168 conf/codes/2008 db/conf/codes/codes2008.html#KrauseEBR08