@inproceedings{ICSME-2016-WalkinshawH,
	author        = "Neil Walkinshaw and Mathew Hall",
	booktitle     = "{Proceedings of the 32nd International Conference on Software Maintenance and Evolution}",
	doi           = "10.1109/ICSME.2016.74",
	isbn          = "978-1-5090-3806-0",
	pages         = "122--132",
	publisher     = "{IEEE Computer Society}",
	title         = "{Inferring Computational State Machine Models from Program Executions}",
	year          = 2016,
}