We stand with Ukraine  

David Honfi

Orcid: 0000-0001-5217-828X

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

2015
2016
2017
2018
2019
2020
2021
0
1
2
3
4
1
1
2
1
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2021
Evaluating and Improving White-Box Test Generation
[BibTeX]
[DOI]
David Honfi
PhD thesis, 2021

2020
Automated isolation for white-box test generation.
[BibTeX]
[DOI]
David Honfi
,
Zoltán Micskei
Inf. Softw. Technol., 2020

2019
Classifying generated white-box tests: an exploratory study.
[BibTeX]
[DOI]
David Honfi
,
Zoltán Micskei
Softw. Qual. J., 2019

2017
Supporting Unit Test Generation via Automated Isolation.
[BibTeX]
[DOI]
David Honfi
,
Zoltán Micskei
Period. Polytech. Electr. Eng. Comput. Sci., 2017

Classifying the Correctness of Generated White-Box Tests: An Exploratory Study.
[BibTeX]
[DOI]
David Honfi
,
Zoltán Micskei
CoRR, 2017

Model-Based Regression Testing of Autonomous Robots.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
David Honfi
,
András Vörös
,
Zoltán Micskei
Proceedings of the 8th IEEE International Conference on Software Testing, 2015


  Loading...