A passive testing approach based on invariants: application to the WAP | Publicación