12 citations · 34 across the 10 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
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…
cs.SE2014★ 12 cited
Verifying Web Applications: From Business Level Specifications to Automated Model-Based Testing
Christian Colombo, Mark Micallef, Mark Scerri
One of reasons preventing a wider uptake of model-based testing in the industry is the difficulty which is encountered by developers when trying to think in terms of properties rat…