Kristóf Umann

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

Collaborative distances:

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

2025

Why Do or Why Don't Software Developers Use Static Analysis Tools? A Literature Review.

Kristóf Umann, Zoltan Porkolab

Proceedings of the Twelfth Workshop on Software Quality Analysis, 2025

Towards Better Static Analysis Bug Reports in the Clang Static Analyzer.

Kristóf Umann, Zoltán Porkoláb

Proceedings of the 47th IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice, 2025

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