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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.