16 search results - page 1 / 4 » Test-Case Generation for Embedded Binary Code Using Abstract... |
MEMICS
2010
12 years 11 months ago
2010
interpretation example conclusion Test-Case Generation for Embedded Binary ng Abstract Interpretation Thomas Reinbacher1 , J
GG
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. Code generators are widely used in the development of embedded software to automatically generate executable code from graphical specifications. However, at present, cod...
SPIN
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. This paper presents a technique that uses code to automatically generate its own test cases at run-time by using a combination of symbolic and concrete (i.e., regular) ex...
DAC
2009
ACM
13 years 9 months ago
2009
ACM
Dynamic binary translation (DBT) can be used to address important issues in embedded systems. DBT systems store translated code in a software-managed code cache. Unlike general-pu...
CASES
2007
ACM
13 years 9 months ago
2007
ACM
Dynamic binary translation (DBT) has been used to achieve numerous goals (e.g., better performance) for general-purpose computers. Recently, DBT has also attracted attention for e...