Műegyetemi Digitális Archívum
 

Generating Unit Isolation Environment Using Symbolic Execution

Date

Type

könyvfejezet

Language

en

Reading access rights:

Open access

Rights Holder

Budapest University of Technology and Economics

Conference Date

February 8-9, 2016

Conference Place

Online

Conference Title

23rd PhD Mini-Symposium

ISBN, e-ISBN

ISBN 978-963-313-220-3

Container Title

Proceedings of the 23rd PhD Mini-Symposium

Department

Department of Measurement and Information Systems

Version

Published

First Page

22

Subject Area

Műszaki tudományok

Subject Field

Informatikai tudományok

Gender

Konferenciacikk

University

Budapest University of Technology and Economics

OOC works

Abstract

Description

Keywords