Zobrazeno 1 - 10
of 15
pro vyhledávání: '"Reinbacher, Thomas"'
This paper describes a framework for test-case generation for microcontroller binary programs using abstract interpretation techniques. The key idea of our approach is to derive program invariants a priori, and then use backward analysis to obtain te
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ad7c928145d528d784d6682508d8f3f8
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Tools & Algorithms for the Construction & Analysis of Systems: 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory & Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings; 2014, p357-372, 16p
Publikováno v:
Hybrid Artificial Intelligent Systems (9783642408458); 2013, p451-461, 11p
Publikováno v:
Runtime Verification (9783642356315); 2013, p110-125, 16p
Publikováno v:
Proceedings of the 2012 System, Software, SoC & Silicon Debug Conference; 1/ 1/2012, p1-6, 6p
Autor:
Reinbacher, Thomas, Geist, Johannes, Moosbrugger, Patrick, Horauer, Martin, Steininger, Andreas
Publikováno v:
Proceedings of 2012 IEEE/ASME 8th IEEE/ASME International Conference on Mechatronic & Embedded Systems & Applications; 1/ 1/2012, p224-231, 8p
Autor:
Reinbacher, Thomas, Brauer, Jörg
Publikováno v:
2011 Proceedings of the International Conference on Embedded Software (EMSOFT); Oct2011, p117-126, 10p
Publikováno v:
Proceedings of the 4th Workshop: Embedded Systems Security; 10/15/2009, p1-9, 9p