Automated Security Code Review

Automated Security Code Review is a systematic method that employs computational tools and formal analysis techniques to identify security vulnerabilities in source code without manual intervention, distinguishing it from traditional code review approaches by its reliance on automation and scalability in detecting exploitable flaws.

9

Publications

712

Citations

24

Authors

10

Institutions

Publications per year

2017–2026

2

Variants

Automated Security Code Analysis

Authors

24

  1. GM
    Gary McGraw

    InterDigital (United States), United States

    2 publications · 451 citations

    2

    h-index

  2. MV
    Marco Vieira

    University of Coimbra, Portugal

    2 publications · 74 citations

    2

    h-index

  3. MC
    Mariano Ceccato

    Fondazione Bruno Kessler, Italy

    1 publications · 50 citations

    1

    h-index

  4. MA
    Marti A. Hearst

    University of California, Berkeley, United States

    1 publications · 21 citations

    1

    h-index

  5. FW
    Fang Wang

    Shandong University of Science and Technology, China

    1 publications · 38 citations

    1

    h-index

1–5 of 24

Venues

  1. Journal of Systems and Software

    JSS · 1 publications · 38 citations

    1

    h-index

  2. ACM SIGAda Ada Letters

    1 publications · 41 citations

    1

    h-index

  3. Computer

    1 publications · 36 citations

    1

    h-index

  4. IEEE Security & Privacy

    1 publications · 415 citations

    1

    h-index

  5. Empirical Software Engineering

    1 publications · 10 citations

1–5