Concepedia

Smart Contract Testing

Smart Contract Testing is a systematic verification process that constitutes a formal method for evaluating the correctness, security, and reliability of smart contracts by identifying vulnerabilities, logical errors, and deviations from intended behavior under predefined execution conditions.

60

Publications

3.5K

Citations

206

Authors

84

Institutions

Publications per year

2017–2026

60

Parents

Publications

60

Empirical review of automated analysis tools on 47,587 Ethereum smart contracts

Thomas Durieux, João F. Ferreira, Pedro E. D. Cruz · 2020 · 379 citations · Full text

, , +17

Blockchain-Oriented Software Engineering: Challenges and New Directions

Simone Porru, Andrea Pinna, Michele Marchesi et al. · 2017 · 331 citations

, , +12

ReGuard

Chao Liu, Han Liu, Zhao Cao et al. · 2018 · 236 citations

, , +12

A Survey of Tools for Analyzing Ethereum Smart Contracts

Monika di Angelo, Gernot Salzer · 2019 · 200 citations

, , +10

Echidna: effective, usable, and fast fuzzing for smart contracts

Gustavo Grieco, Will Song, Artur Cygan et al. · 2020 · 197 citations

, , +15

1–5 of 60

Authors

206

  1. XW
    Xingya Wang

    Guilin University of Electronic Technology, China

    3 publications · 114 citations

    3

    h-index

  2. TD
    Thomas Durieux

    Université de Lille, France

    3 publications · 552 citations

    3

    h-index

  3. SL
    Shang‐Wei Lin

    Nanyang Technological University, Singapore

    3 publications · 117 citations

    3

    h-index

  4. PE
    Pedro E. D. Cruz

    University of Lisbon, Portugal

    3 publications · 552 citations

    3

    h-index

  5. YL
    Yi Li

    Nanyang Technological University, Singapore

    3 publications · 117 citations

    3

    h-index

1–5 of 206

Institutions

84

  1. Tsinghua University

    Beijing, China

    4 h-index

    11 publications

    718 citations

  2. Peking University

    Beijing, China

    3 h-index

    15 publications

    842 citations

  3. Università di Camerino

    Camerino, Italy

    3 h-index

    10 publications

    313 citations

  4. KTH Royal Institute of Technology

    Stockholm, Sweden

    3 h-index

    3 publications

    243 citations

  5. University of Lisbon

    Lisbon, Portugal

    3 h-index

    9 publications

    2K citations

  6. Nanjing University

    Nanjing, China

    3 h-index

    10 publications

    452 citations

  7. Institute for Information Industry

    Taipei, Taiwan

    2 h-index

    5 publications

    629 citations

  8. The University of Texas at San Antonio

    San Antonio, United States

    2 h-index

    2 publications

    266 citations

1–8 of 84

Venues

  1. IEEE Access

    5 publications · 132 citations

    5

    h-index

  2. arXiv (Cornell University)

    Repository · 4 publications · 137 citations

    4

    h-index

  3. Electronics

    1 publications · 42 citations

    1

    h-index

  4. Unicam Scientific Publications (University of Camerino)

    Repository · 1 publications · 22 citations

    1

    h-index

  5. 1

    h-index

1–5