Keep It Small, Keep It Real: Efficient Run-Time Verification of Web Service Compositions.

Luciano Baresi, Domenico Bianculli, Sam Guinea, Paola Spoletini

Browse the full FORTE paper archive.