Generating Unit Isolation Environment Using Symbolic Execution

CímGenerating Unit Isolation Environment Using Symbolic Execution
Közlemény típusaConference Paper
Kiadás éve2016
SzerzőkHonfi, D., and Micskei, Z.
Konferencia neveProceedings of the 23rd PhD Mini-Symposium
KiadóBudapest University of Technology and Economics, Department of Measurement and Information Systems
Konferencia helyszíneBudapest
ISBN-szám978-963-313-220-3
URLhttp://hdl.handle.net/10890/1546
Refereed DesignationRefereed
PDF: