Model-based Testing

Model-Based Testing is a software testing methodology in which test cases are systematically derived from abstract models that formally represent the intended behavior of the system under test.

845

Publications

53K

Citations

1.8K

Authors

670

Institutions

Publications per year

2017–2026

135

Authors

1.8K

  1. BL
    Bruno Legeard

    Université de Franche-Comté, France

    15 publications · 1.1K citations

    13

    h-index

  2. AP
    Alexander Pretschner

    Technical University of Munich, Germany

    13 publications · 1.5K citations

    13

    h-index

  3. LB
    Lionel Briand

    University of Luxembourg, Luxembourg

    12 publications · 661 citations

    12

    h-index

  4. WG
    Wolfgang Grieskamp

    Microsoft (United States), United States

    11 publications · 400 citations

    11

    h-index

  5. AC
    Ana C. R. Paiva

    Universidade do Porto, Portugal

    10 publications · 236 citations

    10

    h-index

1–5 of 1.8K

Venues

  1. Electronic Notes in Theoretical Computer Science

    ENTCS · 24 publications · 908 citations

    19

    h-index

  2. Software Testing Verification and Reliability

    STVR · 15 publications · 1.6K citations

    14

    h-index

  3. Information and Software Technology

    15 publications · 663 citations

    13

    h-index

  4. Journal of Systems and Software

    JSS · 12 publications · 323 citations

    12

    h-index

  5. ACM SIGSOFT Software Engineering Notes

    SEN · 12 publications · 312 citations

    12

    h-index

1–5