Inferring Computational State Machine Models from Program Executions

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]

Authors

Neil Walkinshaw

This author has not been identified. Look up 'Neil Walkinshaw' in Google

Mathew Hall

This author has not been identified. Look up 'Mathew Hall' in Google