Attila Szatmári is an author at University of Szeged specializing in formal verification, software engineering, and reliability engineering.
Top concepts
EngineeringData ScienceFormal MethodsSoftware DesignComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisFormal VerificationComputer Engineering
Publications per year
2020–2022
4
4
Call Frequency-Based Fault Localization
Béla Vancsics, Ferenc Horváth, Attila Szatmári et al. · 2021 · 27 citations
Fault localization using function call frequencies
Béla Vancsics, Ferenc Horváth, Attila Szatmári et al. · Journal of Systems and Software · 2022 · 17 citations · Full text
CharmFL: A Fault Localization Tool for Python
Qusay Idrees Sarhan, Attila Szatmári, Rajmond Toth et al. · 2021 · 13 citations
Rows per page
1–4 of 4