Kristóf Umann

According to our database, Kristóf Umann authored at least 3 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of five.

2024

Uncovering Hidden Dependencies: Constructing Intelligible Path Witnesses using Dataflow Analyses.

Kristóf Umann, Gábor Horváth, Zoltán Porkoláb

Acta Cybern., 2024

2023

A Case Study on the Quality of Static Analysis Bug Reports.

Kristóf Umann, Zoltán Porkoláb

Proceedings of the Tenth Workshop on Software Quality Analysis, 2023

2021

Detecting Uninitialized Variables in C++ with the Clang Static Analyzer.

Kristóf Umann, Zoltán Porkoláb

Acta Cybern., October, 2021