Umann Kristóf; Horváth Gábor; Porkoláb Zoltán: Uncovering hidden dependencies: constructing intelligible path witnesses using dataflow analyses. In: Acta cybernetica, (26) 3. pp. 713-747. (2024)
Umann Kristóf; Porkoláb Zoltán: Detecting uninitialized variables in C++ with the Clang static analyzer. In: Acta cybernetica, (25) 4. pp. 923-940. (2022)