Renáta Hodován is an author at University of Szeged specializing in software testing, formal methods, and software engineering.
Top concepts
EngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisSoftware EngineeringTest AutomationComputer EngineeringFormal Verification
Publications per year
2016–2018
6
6
Grammarinator: a grammar-based open source fuzzer
Renáta Hodován, Ákos Kiss, Tibor Gyimóthy · 2018 · 59 citations
Coarse Hierarchical Delta Debugging
Renáta Hodován, Ákos Kiss, Tibor Gyimóthy · 2017 · 40 citations
Modernizing hierarchical delta debugging
Renáta Hodován, Ákos Kiss · 2016 · 33 citations
Rows per page
1–5 of 6