Explaining Violation Traces with Finite State Natural Language Generation Models

Gordon J. Pace, Michael Rosner

An essential element of any verification technique is that of identifying and communicating to the user, system behaviour which leads to a deviation from the expected behaviour. Su…