Dávid Honfi
CímIdézteÉ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
Supporting Unit Test Generation via Automated Isolation
D Honfi, Z Micskei
Periodica Polytechnica Electrical Engineering and Computer Science 61 (2 …, 2017
22017
Model-Based Regression Testing of Autonomous Robots
D Honfi, G Molnár, Z Micskei, I Majzik
International SDL Forum, 119-135, 2017
12017
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*
Automated Isolation for White-box Test Generation
D Honfi, Z Micskei
arXiv preprint arXiv:1910.02513, 2019
2019
Classifying generated white-box tests: an exploratory study
D Honfi, Z Micskei
Software Quality Journal, 1-42, 2019
2019
Classifying the Correctness of Generated White-Box Tests: An Exploratory Study
D Honfi, Z Micskei
arXiv preprint arXiv:1706.02217, 2017
2017
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