David Honfi

According to our database, David Honfi authored at least 7 papers between 2015 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2021

Evaluating and Improving White-Box Test Generation

David Honfi

PhD thesis, 2021

2020

Automated isolation for white-box test generation.

David Honfi, Zoltán Micskei

Inf. Softw. Technol., 2020

2019

Classifying generated white-box tests: an exploratory study.

David Honfi, Zoltán Micskei

Softw. Qual. J., 2019

2017

Supporting Unit Test Generation via Automated Isolation.

David Honfi, Zoltán Micskei

Period. Polytech. Electr. Eng. Comput. Sci., 2017

Classifying the Correctness of Generated White-Box Tests: An Exploratory Study.

David Honfi, Zoltán Micskei

CoRR, 2017

Model-Based Regression Testing of Autonomous Robots.

David Honfi, Gábor Molnár, Zoltán Micskei, István Majzik

Proceedings of the SDL 2017: Model-Driven Engineering for Future Internet, 2017

2015

SEViz: A Tool for Visualizing Symbolic Execution.

David Honfi, András Vörös, Zoltán Micskei

Proceedings of the 8th IEEE International Conference on Software Testing, 2015