TY  - JOUR

T1  - Inferring extended finite state machine models from software executions

JO  - Empirical Software Engineering

UR  - http://eprints.whiterose.ac.uk/92919/

PY  - 2016/06/30

AU  - Walkinshaw N

AU  - Taylor R

AU  - Derrick J

ED  - 

DO  - DOI: 10.1007/s10664-015-9367-7

VL  - 21

IS  - 3

SP  - 811

EP  - 853

Y2  - 2024/12/22

ER  -