search result

Cover von Test-Case Generation for Embedded Binary Code Using Abstract Interpretation

Test-Case Generation for Embedded Binary Code Using Abstract Interpretation

Year: 2011
Media group: ARTICLE
Cover von 6th International Workshop on Systems Software Verification
SSV 11 : August 26, 2011, Nijmegen, The Netherlands
Search for this author
Year: 2012
Publisher: Wadern, LZI
Series: OpenAccess Series in Informatics; 24
Media group: OASICS
Cover von Adaptable Value-Set Analysis for Low-Level Code

Adaptable Value-Set Analysis for Low-Level Code

Year: 2012
Media group: ARTICLE
OPEN V 11.1.0.0