Generating Unit Isolation Environment Using Symbolic Execution

View/Open

Proceedings of the 23rd PhD Mini-Symposium - 005 (795.5Kb)

Metadata

Show full item record

Link to refer to this document:

http://hdl.handle.net/10890/15119

Collections

BME MIT PhD Minisymposium, 2016, 23rd [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