TY - JOUR T1 - Inferring extended finite state machine models from software executions JO - Empirical Software Engineering UR - https://eprints.whiterose.ac.uk/id/eprint/92919 UR - http://dx.doi.org/10.1007/s10664-015-9367-7 PY - 2016/06/30 AU - Walkinshaw N AU - Taylor R AU - Derrick J ED - DO - DOI: 10.1007/s10664-015-9367-7 PB - Springer Verlag Y2 - 2025/11/27 ER -