PDF:
Generating Unit Isolation Environment Using Symbolic Execution
Cím | Generating Unit Isolation Environment Using Symbolic Execution |
Közlemény típusa | Conference Paper |
Kiadás éve | 2016 |
Szerzők | Honfi, D., and Micskei, Z. |
Konferencia neve | Proceedings of the 23rd PhD Mini-Symposium |
Kiadó | Budapest University of Technology and Economics, Department of Measurement and Information Systems |
Konferencia helyszíne | Budapest |
ISBN-szám | 978-963-313-220-3 |
URL | http://hdl.handle.net/10890/1546 |
Refereed Designation | Refereed |