Seviz: A tool for visualizing symbolic execution D Honfi, A Voros, Z Micskei 2015 IEEE 8th International Conference on Software Testing, Verification and …, 2015 | 11 | 2015 |
Classifying generated white-box tests: an exploratory study D Honfi, Z Micskei Software Quality Journal 27 (3), 1339-1380, 2019 | 10 | 2019 |
Model-based regression testing of autonomous robots D Honfi, G Molnár, Z Micskei, I Majzik SDL 2017: Model-Driven Engineering for Future Internet: 18th International …, 2017 | 8 | 2017 |
Automated isolation for white-box test generation D Honfi, Z Micskei Information and Software Technology 125, 106319, 2020 | 4 | 2020 |
Generating Unit Isolation Environment Using Symbolic Execution D Honfi, Z Micskei 23rd PhD Mini-Symposium of the Department of BUTE-DMIS, 22, 2016 | 3 | 2016 |
Graph-Based Source Code Analysis of Dynamically Typed Languages D Stein, G Szárnyas, Á Lippai, D Honfi Scientific Students’ Association Report, Budapest University of Technology …, 2016 | 3 | 2016 |
Supporting unit test generation via automated isolation D Honfi, Z Micskei Periodica Polytechnica Electrical Engineering and Computer Science 61 (2 …, 2017 | 2 | 2017 |
Graph-Based Source Code Analysis of JavaScript Repositories D Stein, G Szárnyas, Á Lippai, D Honfi | 2* | |
White-box software test generation with Microsoft Pex on open source C# projects: A dataset D Honfi, Z Micskei Data in Brief 31, 105962, 2020 | 1 | 2020 |
Isolation and Pex: Case Study of Cooperation D Honfi, Z Micskei, A Vörös | 1 | 2013 |
Static analysis algorithms for JavaScript S Lucz, D Honfi, G Szárnyas | 1* | |
User-Defined Sandbox Behavior for Dynamic Symbolic Execution D Honfi, Z Micskei | 1* | |
Evaluating and improving white-box test generation D Honfi | | 2020 |
Towards Supporting Dynamic Symbolic Execution via Multi-Domain Metrics D Honfi, Z Micskei 25th PhD Mini-Symposium of the Department of BUTE-DMIS, 2017 | | 2017 |
On Supporting Automatic Test Generation D Honfi, Z Micskei, A Vörös | | |