"Timed Extended Invariants for the Passive Testing of Web Services."

Gerardo Morales et al. (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics