Műegyetemi Digitális Archivum
    • magyar
    • English
  • English 
    • magyar
    • English
  • Login
View Item 
  •   DSpace Home
  • 1. Tudományos közlemények, publikációk
  • Konferenciák gyűjteményei
  • 23rd PhD Mini-Symposium
  • View Item
  •   DSpace Home
  • 1. Tudományos közlemények, publikációk
  • Konferenciák gyűjteményei
  • 23rd PhD Mini-Symposium
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

Generating Unit Isolation Environment Using Symbolic Execution

Thumbnail
View/Open
Proceedings of the 23rd PhD Mini-Symposium - 005 (795.5Kb)
Metadata
Show full item record
URI
http://hdl.handle.net/10890/15119
Collections
  • 23rd PhD Mini-Symposium [12]
Title
Generating Unit Isolation Environment Using Symbolic Execution
Author
Honfi, Dávid
Micskei, Zoltán Imre
Date of issue
2016
Access level
Open access
Copyright owner
Budapest University of Technology and Economics
Conference title
23rd PhD Mini-Symposium
Conference place
Online
Conference date
February 8-9, 2016
Language
en
Page
22 - 25
Version
Published
Title of the container document
Proceedings of the 23rd PhD Mini-Symposium
ISBN, e-ISBN
ISBN 978-963-313-220-3
Document type
könyvfejezet
Document genre
Konferenciacikk
Subject area
Műszaki tudományok
Field
Informatikai tudományok
University
Budapest University of Technology and Economics
Department
Department of Measurement and Information Systems

Content by
Theme by 
Atmire NV
DSpace software copyright © 2002-2016  DuraSpace
Contact Us | Send Feedback

Content by
DSpace software copyright © 2002-2016  DuraSpace
Contact Us | Send Feedback
Theme by 
Atmire NV
 

 

Browse

All of DSpaceCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsThis CollectionBy Issue DateAuthorsTitlesSubjects

My Account

LoginRegister

Content by
Theme by 
Atmire NV
DSpace software copyright © 2002-2016  DuraSpace
Contact Us | Send Feedback

Content by
DSpace software copyright © 2002-2016  DuraSpace
Contact Us | Send Feedback
Theme by 
Atmire NV