Dávid Honfi
Cím
Hivatkozott rá
Hivatkozott rá
Év
SEViz: A tool for visualizing symbolic execution
D Honfi, A Voros, Z Micskei
2015 IEEE 8th International Conference on Software Testing, Verification and …, 2015
72015
Generating Unit Isolation Environment Using Symbolic Execution
D Honfi, Z Micskei
23rd PhD Mini-Symposium of the Department of BUTE-DMIS, 22, 2016
32016
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
32016
Model-based regression testing of autonomous robots
D Honfi, G Molnár, Z Micskei, I Majzik
International SDL Forum, 119-135, 2017
22017
Supporting unit test generation via automated isolation
D Honfi, Z Micskei
Periodica Polytechnica Electrical Engineering and Computer Science 61 (2 …, 2017
22017
Automated isolation for white-box test generation
D Honfi, Z Micskei
Information and Software Technology, 106319, 2020
12020
Isolation and Pex: Case Study of Cooperation
D Honfi, Z Micskei, A Vörös
12013
User-Defined Sandbox Behavior for Dynamic Symbolic Execution
D Honfi, Z Micskei
1*
Graph-Based Source Code Analysis of JavaScript Repositories
D Stein, G Szárnyas, Á Lippai, D Honfi
1*
White-box software test generation with Microsoft Pex on open source C# projects: A dataset
D Honfi, Z Micskei
Data in Brief, 105962, 2020
2020
Classifying generated white-box tests: an exploratory study
D Honfi, Z Micskei
Software Quality Journal 27 (3), 1339-1380, 2019
2019
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
Static analysis algorithms for JavaScript
S Lucz, D Honfi, G Szárnyas
On Supporting Automatic Test Generation
D Honfi, Z Micskei, A Vörös
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–14