Michael Foster 0001, John Derrick, Neil Walkinshaw. Reverse-Engineering EFSMs with Data Dependencies. In David Clark, Héctor D. Menéndez 0001, Ana Rosa Cavalli, editors, Testing Software and Systems - 33rd IFIP WG 6.1 International Conference, ICTSS 2021, London, UK, November 10-12, 2021, Proceedings. Volume 13045 of Lecture Notes in Computer Science, pages 37-54, Springer, 2021. [doi]
Abstract is missing.