Comprehensive Evaluation of Cross Translation Unit Symbolic Execution. - Endre Fülöp; Norbert Pataki (ICAI, 2020)

A DSL for Resource Checking Using Finite State Automaton-Driven Symbolic Execution. - Endre Fülöp; Norbert Pataki (Open Comput. Sci., 2021)

A Framework for C++ Exception Handling Assistance. - Endre Fülöp; Attila Gyén; Norbert Pataki (SQAMIA, 2022)

Continuous Source Code Rejuvenation in Continuous Integration Pipelines. - Endre Fülöp; Norbert Pataki; Ábel Szauter (SQAMIA, 2024)