IEEE - Institute of Electrical and Electronics Engineers, Inc. - Inferring Computational State Machine Models from Program Executions

2016 IEEE International Conference on Software Maintenance and Evolution (ICSME)

Author(s): Neil Walkinshaw ; Mathew Hall
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 October 2016
Conference Location: Raleigh, NC, USA
Conference Date: 2 October 2016
Page(s): 122 - 132
ISBN (Electronic): 978-1-5090-3806-0
DOI: 10.1109/ICSME.2016.74
Regular:

The challenge of inferring state machines from log data or execution traces is well-established, and has led to the development of several powerful techniques. Current approaches tend to focus on... View More

Advertisement