Test-Case Generation for Embedded Binary Code Using Abstract Interpretation

13 years 6 months ago

interpretation example conclusion Test-Case Generation for Embedded Binary ng Abstract Interpretation Thomas Reinbacher1 , J

Thomas Reinbacher, Jörg Brauer, Martin Horaue

Conclusion Test-case Generation | MEMICS 2010 | Ng Abstract Interpretation | RWTH Aachen University | Theoretical Computer Science |

claim paper

Added	20 May 2011
Updated	20 May 2011
Type	Journal
Year	2010
Where	MEMICS
Authors	Thomas Reinbacher, Jörg Brauer, Martin Horauer, Andreas Steininger, Stefan Kowalewski

Comments (0)