Automated Test Generation for Medical Rules Web Services: A Case Study at the Cancer Registry of Norway