Követés
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
112015
Classifying generated white-box tests: an exploratory study
D Honfi, Z Micskei
Software Quality Journal 27 (3), 1339-1380, 2019
82019
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
82017
Automated isolation for white-box test generation
D Honfi, Z Micskei
Information and Software Technology 125, 106319, 2020
42020
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
Supporting unit test generation via automated isolation
D Honfi, Z Micskei
Periodica Polytechnica Electrical Engineering and Computer Science 61 (2 …, 2017
22017
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
12020
Isolation and Pex: Case Study of Cooperation
D Honfi, Z Micskei, A Vörös
12013
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
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–15