Towards Language Independent (Dynamic) Symbolic Execution

Thumbnail
Megtekintés/Megnyitás
Metaadat
Teljes megjelenítés
Link a dokumentumra való hivatkozáshoz:
http://hdl.handle.net/10890/15213
Gyűjtemény
Cím és alcím
Towards Language Independent (Dynamic) Symbolic Execution
Szerző
Klikovits, Stefan
Gonzalez-Berges, Manuel
Buchs, Didier
Megjelenés ideje
2017
Hozzáférés szintje
Open access
Szerzői jog tulajdonosa
Budapest University of Technology and Economics
Konferencia címe
24th PhD Mini-Symposium (Minisy@DMIS 2017)
Konferencia helye
Budapest
Konferencia ideje
January 30-31, 2017
Nyelv
en
Terjedelem
50 - 53
Változat
Post print
A cikket/könyvrészletet tartalmazó dokumentum címe
Proceedings of the 24th PhD Mini-Symposium
ISBN, e-ISBN
ISBN 978-963-313-243-2
Dokumentumtípus
könyvfejezet
Műfaj
Konferenciacikk
Egyetem
Budapest University of Technology and Economics
Tanszék / Szervezeti egység
Department of Measurement and Information Systems