7 citations · 26 across the 12 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
cs.SE2014
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…
cs.SE2014★ 4 cited
Comprehensive Monitor-Oriented Compensation Programming
Christian Colombo, Gordon J. Pace
Compensation programming is typically used in the programming of web service compositions whose correct implementation is crucial due to their handling of security-critical activit…