Detecting Uninitialized Variables in C++ with the Clang Static Analyzer. - Kristóf Umann; Zoltán Porkoláb (Acta Cybern., 2021)

A Case Study on the Quality of Static Analysis Bug Reports. - Kristóf Umann; Zoltán Porkoláb (SQAMIA, 2023)

Uncovering Hidden Dependencies: Constructing Intelligible Path Witnesses using Dataflow Analyses. - Kristóf Umann; Gábor Horváth 005; Zoltán Porkoláb (Acta Cybern., 2024)