• search hit 5 of 7
Back to Result List

Test-Case Generation for Embedded Binary Code Using Abstract Interpretation

Export metadata

Additional Services

Share in Twitter Search Google Scholar
Metadaten
Author:Thomas Reinbacher, Jörg Brauer, Martin Horauer, Andreas Steininger, Stefan Kowalewski
Parent Title (English):Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2010), Brno, 2010
Document Type:Conference Proceeding
Language:English
Completed Date:2010/01/01
Date of first Publication:2019/02/04
Responsibility for metadata:Fachhochschule Technikum Wien
Release Date:2019/02/04
GND Keyword:Embedded Systems; Testing
Publish on Website:1
Open Access:0
Reviewed:0
Invited:0
Keynote:0
Department:Department Electronic Engineering
Research Focus:Embedded Systems & Cyber-Physical Systems
Studienjahr:2009/2010
Projects:Import