Concepedia

Constraint-guided Fuzzing

Constraint-Guided Fuzzing is a fuzz testing method that systematically generates inputs by leveraging symbolic constraints derived from program semantics to direct the exploration of execution paths, thereby distinguishing itself from other fuzzing techniques through its reliance on constraint solving to enhance test coverage and bug detection.

13

Publications

587

Citations

53

Authors

20

Institutions

Publications per year

2017–2026

9

Parents

Publications

13

Billions and billions of constraints: whitebox fuzz testing in production

Ella Bounimova, Patrice Godefroid, Dávid Molnár · 2013 · 117 citations

, , +15

Billions and billions of constraints: Whitebox fuzz testing in production

Ella Bounimova, Patrice Godefroid, Dávid Molnár · 2013 35th International Conference on Software Engineering (ICSE) · 2013 · 89 citations

, , +15

DocTer: documentation-guided fuzzing for testing deep learning API functions

Danning Xie, Yitong Li, Mijung Kim et al. · 2022 · 73 citations · Full text

, , +16

Diane: Identifying Fuzzing Triggers in Apps to Generate Under-constrained Inputs for IoT Devices

Nilo Redini, Andrea Continella, Dipanjan Das et al. · 2021 · 64 citations · Full text

, , +11

GRIMOIRE: Synthesizing Structure while Fuzzing.

Tim Blazytko · Open MIND · 2019 · 54 citations · Full text

, , +4

1–5 of 13

Authors

53

  1. PG
    Patrice Godefroid

    Microsoft (United States), United States

    2 publications · 206 citations

    2

    h-index

  2. DM
    Dávid Molnár

    Microsoft (United States), United States

    2 publications · 206 citations

    2

    h-index

  3. EB
    Ella Bounimova

    Microsoft (United States), United States

    2 publications · 206 citations

    2

    h-index

  4. YY
    Yupeng Yang

    Xi'an Jiaotong University, China

    1 publications · 43 citations

    1

    h-index

  5. AM
    Aravind Machiry

    University of California, Santa Barbara, United States

    1 publications · 64 citations

    1

    h-index

1–5 of 53

Institutions

20

  1. Microsoft (United States)

    Redmond, United States

    2 h-index

    6 publications

    618 citations

  2. Purdue University West Lafayette

    West Lafayette, United States

    2 h-index

    5 publications

    347 citations

  3. University of Waterloo

    Waterloo, Canada

    1 h-index

    3 publications

    219 citations

  4. Ruhr University Bochum

    Bochum, Germany

    1 h-index

    1 publications

    54 citations

  5. The University of Texas at Dallas

    Richardson, United States

    1 h-index

    2 publications

    20 citations

  6. Samsung (United States)

    Ridgefield Park, United States

    1 h-index

    1 publications

    17 citations

  7. Georgia Institute of Technology

    Atlanta, United States

    1 h-index

    6 publications

    258 citations

  8. Pennsylvania State University

    State College, United States

    1 h-index

    6 publications

    258 citations

1–8 of 20

Venues

  1. Information and Software Technology

    1 publications · 19 citations

    1

    h-index

  2. Open MIND

    Repository · 1 publications · 54 citations

    1

    h-index

  3. 2013 35th International Conference on Software Engineering (ICSE)

    Conference · 1 publications · 89 citations

    1

    h-index

  4. Science China Information Sciences

    1 publications · 10 citations

    1

    h-index

1–5