SEViz: A Tool for Visualizing Symbolic Execution. - David Honfi; András Vörös 001; Zoltán Micskei (ICST, 2015)

Model-Based Regression Testing of Autonomous Robots. - David Honfi; Gábor Molnár; Zoltán Micskei; István Majzik (SDL Forum, 2017)

Classifying the Correctness of Generated White-Box Tests: An Exploratory Study. - David Honfi; Zoltán Micskei (CoRR, 2017)

Supporting Unit Test Generation via Automated Isolation. - David Honfi; Zoltán Micskei (Period. Polytech. Electr. Eng. Comput. Sci., 2017)

Classifying generated white-box tests: an exploratory study. - David Honfi; Zoltán Micskei (Softw. Qual. J., 2019)

Automated isolation for white-box test generation. - David Honfi; Zoltán Micskei (Inf. Softw. Technol., 2020)

Evaluating and Improving White-Box Test Generation - David Honfi (2021)