Neil Walkinshaw, Mathew Hall. Inferring Computational State Machine Models from Program Executions. In 2016 IEEE International Conference on Software Maintenance and Evolution, ICSME 2016, Raleigh, NC, USA, October 2-7, 2016. pages 122-132, IEEE Computer Society, 2016. [doi]
Abstract is missing.