Concepedia

Property-based Testing

Property-Based Testing is a software testing methodology in which test cases are generated based on declarative properties that specify the expected behavior of a system, distinguishing it from example-based testing by emphasizing general invariants over specific input-output pairs.

128

Publications

7.3K

Citations

316

Authors

153

Institutions

Publications per year

2017–2026

35

Variants

Property-based Software Testing

Parents

Publications

128

1–5 of 128

Authors

316

  1. OG
    Oded Goldreich

    Weizmann Institute of Science, Israel

    7 publications · 1.2K citations

    7

    h-index

  2. JH
    John Hughes

    Chalmers University of Technology, Sweden

    7 publications · 2.1K citations

    7

    h-index

  3. BC
    Benjamin C. Pierce

    University of Pennsylvania, United States

    6 publications · 215 citations

    6

    h-index

  4. DR
    Dana Ron

    Tel Aviv University, Israel

    6 publications · 1.3K citations

    6

    h-index

  5. NA
    Noga Alon

    Tel Aviv University, Israel

    5 publications · 361 citations

    5

    h-index

1–5 of 316

Institutions

153

  1. Chalmers University of Technology

    Gothenburg, Sweden

    11 h-index

    22 publications

    4.4K citations

  2. Tel Aviv University

    Tel Aviv, Israel

    10 h-index

    12 publications

    420 citations

  3. Weizmann Institute of Science

    Rehovot, Israel

    8 h-index

    9 publications

    2.3K citations

  4. Graz University of Technology

    Graz, Austria

    6 h-index

    12 publications

    192 citations

  5. University of Pennsylvania

    Philadelphia, United States

    5 h-index

    15 publications

    386 citations

  6. Carnegie Mellon University

    Pittsburgh, United States

    4 h-index

    6 publications

    204 citations

  7. Massachusetts Institute of Technology

    Cambridge, United States

    4 h-index

    5 publications

    2.2K citations

  8. Purdue University West Lafayette

    West Lafayette, United States

    4 h-index

    5 publications

    138 citations

1–8 of 153

Venues

  1. DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)

    Repository · 5 publications · 73 citations

    5

    h-index

  2. ACM SIGSOFT Software Engineering Notes

    SEN · 4 publications · 186 citations

    4

    h-index

  3. ACM SIGPLAN Notices

    4 publications · 1.3K citations

    4

    h-index

  4. SIAM Journal on Computing

    4 publications · 337 citations

    4

    h-index

  5. arXiv (Cornell University)

    Repository · 2 publications · 23 citations

    2

    h-index

1–5