Interpreting nonsignificant findings in psychological research. - Bence Palfi; Aba Szollosi; Barnabas Szaszi; Marton Kovacs; Mark Zrubka; Péter Szécsi; Balazs Aczel; Eric-Jan Wagenmakers (CogSci, 2017)

Implementation and evaluation of cross translation unit symbolic execution for C family languages. - Gábor Horváth 005; Péter Szécsi; Zoltán Gera; Dániel Krupp; Norbert Pataki (ICSE (Companion Volume), 2018)

[Engineering Paper] Challenges of Implementing Cross Translation Unit Analysis in Clang Static Analyzer. - Gábor Horváth 005; Péter Szécsi; Zoltán Gera; Dániel Krupp; Norbert Pataki (SCAM, 2018)

Report on the Differential Testing of Static Analyzers. - Gábor Horváth 005; Réka Nikolett Kovács; Péter Szécsi (Acta Cybern., 2021)