David Honfi

Publication Activity (10 Years)

Years Active: 2015-2020
Publications (10 Years): 7

Top Topics

Symbolic Execution

Regression Testing

Autonomous Robots

Top Venues

Inf. Softw. Technol.

Publications

David Honfi, Zoltán Micskei
Automated isolation for white-box test generation. Inf. Softw. Technol. 125 (2020)
David Honfi, Zoltán Micskei
Classifying generated white-box tests: an exploratory study. Softw. Qual. J. 27 (3) (2019)
David Honfi, Zoltán Micskei
Automated Isolation for White-box Test Generation. CoRR (2019)
David Honfi, Zoltán Micskei
Supporting Unit Test Generation via Automated Isolation. Period. Polytech. Electr. Eng. Comput. Sci. 61 (2) (2017)
David Honfi, Zoltán Micskei
Classifying the Correctness of Generated White-Box Tests: An Exploratory Study. CoRR (2017)
David Honfi, Gábor Molnár, Zoltán Micskei, István Majzik
Model-Based Regression Testing of Autonomous Robots. SDL Forum (2017)
David Honfi, András Vörös, Zoltán Micskei
SEViz: A Tool for Visualizing Symbolic Execution. ICST (2015)