Finite State Machine Extraction

Finite State Machine Extraction is a computational method that identifies and constructs a finite state machine model from observed system behaviors or execution traces, distinguishing itself from other modeling techniques by inferring states and transitions algorithmically from input-output sequences or behavioral data.

31

Publications

1.6K

Citations

84

Authors

46

Institutions

Publications per year

2017–2026

6

Variants

Fsm Extraction

Authors

84

  1. JW
    John Whaley

    Stanford University, United States

    3 publications · 449 citations

    3

    h-index

  2. MC
    Michael C. Martin

    Stanford University, United States

    3 publications · 449 citations

    3

    h-index

  3. MS
    Monica S. Lam

    Stanford University, United States

    3 publications · 449 citations

    3

    h-index

  4. IH
    Ichiro Hasuo

    The University of Tokyo, Japan

    2 publications · 41 citations

    2

    h-index

  5. CN
    Cristina Nita-Rotaru

    Purdue University West Lafayette, United States

    2 publications · 77 citations

    2

    h-index

1–5 of 84

Venues

  1. Neural Computation

    4 publications · 280 citations

    4

    h-index

  2. IEEE Transactions on Neural Networks

    2 publications · 54 citations

    2

    h-index

  3. ACM SIGSOFT Software Engineering Notes

    SEN · 2 publications · 305 citations

    2

    h-index

  4. IEEE Design & Test of Computers

    1 publications · 13 citations

    1

    h-index

  5. arXiv (Cornell University)

    Repository · 1 publications · 30 citations

    1

    h-index

1–5