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

Authors

77

  1. KA
    Kyle A. Gallivan

    Florida State University, United States

    2 publications · 61 citations

    2

    h-index

  2. JB
    Johnnie Birch

    Florida State University, United States

    2 publications · 61 citations

    2

    h-index

  3. MH
    Milan Hladík

    Charles University, Czechia

    2 publications · 125 citations

    2

    h-index

  4. JR
    Jason R. C. Patterson

    Queensland University of Technology, Australia

    2 publications · 137 citations

    2

    h-index

  5. MH
    Marcel Hlawatsch

    University of Stuttgart, Germany

    1 publications · 22 citations

    1

    h-index

1–5 of 77

Venues

  1. Computer Graphics Forum

    2 publications · 38 citations

    2

    h-index

  2. Forests

    1 publications · 18 citations

    1

    h-index

  3. IEEE Transactions on Software Engineering

    TSE · 1 publications · 161 citations

    1

    h-index

  4. Computing

    1 publications · 43 citations

    1

    h-index

  5. ACM SIGPLAN Notices

    1 publications · 15 citations

    1

    h-index

1–5