Honfi Dávid
Doktorandusz, okleveles mérnökinformatikus
- Cím
- H-1117 Budapest, Magyar tudósok körútja 2., I épület, B414 szoba
- honfi [at] mit.bme.hu
- Telefon
- +36 1 463 3579
- Honlap
- https://inf.mit.bme.hu/members/honfid
Kutatási terület
-
Szoftvertesztelés és automatikus tesztelés
-
Automatikus tesztgenerálás forráskód alapján, szimbolikus végrehajtás
-
SEViz: Symbolic Execution Visualizer (ftsrg.github.io/seviz) [ICST'15]
-
SEViz: Symbolic Execution Visualizer (ftsrg.github.io/seviz) [ICST'15]
- Tesztelés hatékonyságának kísérleti kiértékelése
