@inproceedings{inproceedings, title = {{Reverse-engineering EFSMs with data dependencies}}, publisher = {{Springer Nature}}, url = {{https://eprints.whiterose.ac.uk/177494/ }}, year = {{2022}}, month = {{5}}, author = {{Foster M and Derrick J and Walkinshaw N}}, doi = {{10.1007/978-3-031-04673-5_3}}, isbn = {{9783031046728}}, journal = {{Testing Software and Systems}}, pages = {{37-54}}, note = {{Accessed on 2024/12/22}}}