Value Range Analysis
Value Range Analysis is a static analysis technique that determines the set of possible values a variable may take at each program point by computing bounds or intervals, thereby distinguishing itself from other data flow analyses through its focus on quantifying numerical or ordinal ranges rather than discrete properties or symbolic expressions.
28
Publications
1.4K
Citations
77
Authors
33
Institutions
Publications per year
2017–2026
6
28
1–5 of 28
77
2
h-index
2
h-index
2
h-index
2
h-index
1
h-index
1–5 of 77
33
Charles University
Prague, Czechia
2 h-index
3 publications
159 citations

Queensland University of Technology
Brisbane, Australia
2 h-index
2 publications
137 citations
United States Department of Agriculture
Washington, United States
1 h-index
1 publications
16 citations

Universitas Syiah Kuala
Banda Aceh, Indonesia
1 h-index
2 publications
24 citations

Imperial College London
London, United Kingdom
1 h-index
1 publications
45 citations
University of Wisconsin–Madison
Madison, United States
1 h-index
3 publications
129 citations

Anadolu University
Eskişehir, Türkiye
1 h-index
1 publications
14 citations

Prague University of Economics and Business
Prague, Czechia
1 h-index
1 publications
34 citations
1–8 of 33
2 publications · 38 citations
2
h-index
1 publications · 18 citations
1
h-index
TSE · 1 publications · 161 citations
1
h-index
1 publications · 43 citations
1
h-index
1 publications · 15 citations
1
h-index
1–5