TY  - CONF

T1  - Inferring Extended Finite State Machine models from software executions

JO  - 2013 20th Working Conference on Reverse Engineering (WCRE)

UR  - https://doi.org/10.1109/wcre.2013.6671305

PY  - 2013/12/01

AU  - Walkinshaw N

AU  - Taylor R

AU  - Derrick J

ED  - 

DO  - DOI: 10.1109/wcre.2013.6671305

PB  - IEEE

SP  - 301

EP  - 310

Y2  - 2025/11/27

ER  -