On-The-Fly Model-Based Testing of Web Services with Jambition. - Lars Frantzen; Maria de las Nieves Huerta; Zsolt Gere Kiss; Thomas Wallet (WS-FM, 2008)