Login / Signup
Kristóf Umann
ORCID
Publication Activity (10 Years)
Years Active: 2021-2024
Publications (10 Years): 3
Top Topics
Dependency Graph
Maintenance Activities
Relevant Variables
Bug Reports
Top Venues
Acta Cybern.
SQAMIA
</>
Publications
</>
Kristóf Umann
,
Gábor Horváth
,
Zoltán Porkoláb
Uncovering Hidden Dependencies: Constructing Intelligible Path Witnesses using Dataflow Analyses.
Acta Cybern.
26 (3) (2024)
Kristóf Umann
,
Zoltán Porkoláb
A Case Study on the Quality of Static Analysis Bug Reports.
SQAMIA
(2023)
Kristóf Umann
,
Zoltán Porkoláb
Detecting Uninitialized Variables in C++ with the Clang Static Analyzer.
Acta Cybern.
25 (4) (2021)