TY - CONF T1 - Inferring Extended Finite State Machine models from software executions JO - 2013 20th Working Conference on Reverse Engineering (WCRE) PY - 2013/01/01 AU - Walkinshaw N AU - Taylor R AU - Derrick J ED - DO - DOI: 10.1109/wcre.2013.6671305 PB - IEEE Y2 - 2024/10/23 ER -