Concepedia

Test Generation From Models

Test Generation From Models is a model-based testing method that systematically derives test cases from executable system models by analyzing their structure, behavior, or semantics to ensure coverage and correctness of software systems.

669

Publications

25.7K

Citations

1.5K

Authors

552

Institutions

Publications per year

2017–2026

109

Variants

Model-based Test Generation

Parents

Publications

669

The AETG system: an approach to testing based on combinatorial design

David Cohen, Siddhartha R. Dalal, Michael L. Fredman et al. · IEEE Transactions on Software Engineering · 1997 · 1K citations

, , +13

A taxonomy of model‐based testing approaches

Mark Utting, Alexander Pretschner, Bruno Legeard · Software Testing Verification and Reliability · 2011 · 619 citations · Full text

, , +13

Test Generation with Inputs, Outputs and Repetitive Quiescence

Jan Tretmans · 1996 · 487 citations

, , +17

Using model checking to analyze network vulnerabilities

Ronald W. Ritchey, Paul Ammann · 2002 · 433 citations

, , +12

Automatic generation of software behavioral models

Davide Lorenzoli, Leonardo Mariani, Mauro Pezzè · 2008 · 414 citations

, , +17

1–5 of 669

Authors

1.5K

  1. AG
    Angelo Gargantini

    University of Bergamo, Italy

    13 publications · 253 citations

    12

    h-index

  2. BL
    Bruno Legeard

    Université de Franche-Comté, France

    11 publications · 853 citations

    11

    h-index

  3. AM
    Atif M. Memon

    University of Maryland, College Park, United States

    9 publications · 713 citations

    9

    h-index

  4. FW
    Franz Wotawa

    Graz University of Technology, Austria

    8 publications · 251 citations

    8

    h-index

  5. PM
    Prabhat Mishra

    University of Florida, United States

    8 publications · 275 citations

    8

    h-index

1–5 of 1.5K

Institutions

552

  1. Centre National de la Recherche Scientifique

    Paris, France

    13 h-index

    45 publications

    1K citations

  2. University of Bergamo

    Bergamo, Italy

    12 h-index

    25 publications

    519 citations

  3. George Mason University

    Fairfax, United States

    12 h-index

    19 publications

    1.5K citations

  4. University of Maryland, College Park

    College Park, United States

    11 h-index

    15 publications

    2.9K citations

  5. Graz University of Technology

    Graz, Austria

    11 h-index

    37 publications

    879 citations

  6. University of Luxembourg

    Luxembourg, Luxembourg

    11 h-index

    27 publications

    1.7K citations

  7. Université de Franche-Comté

    Besançon, France

    10 h-index

    24 publications

    1.1K citations

  8. Institut national de recherche en sciences et technologies du numérique

    Le Chesnay-Rocquencourt, France

    10 h-index

    21 publications

    1K citations

1–8 of 552

Venues

  1. Electronic Notes in Theoretical Computer Science

    ENTCS · 16 publications · 498 citations

    13

    h-index

  2. ACM SIGSOFT Software Engineering Notes

    SEN · 14 publications · 332 citations

    12

    h-index

  3. IEEE Transactions on Software Engineering

    TSE · 13 publications · 2.2K citations

    12

    h-index

  4. Software Testing Verification and Reliability

    STVR · 10 publications · 1.1K citations

    10

    h-index

  5. Information and Software Technology

    9 publications · 373 citations

    9

    h-index

1–5