TY - RPRT TI - Automated Test Generation for Medical Rules Web Services: A Case Study at the Cancer Registry of Norway AU - Christoph Laaber AU - Tao Yue AU - Shaukat Ali AU - Thomas Schwitalla AU - Jan F. Nygård PY - 2023 DO - 10.1145/3611643.3613882 UR - https://arxiv.org/abs/2308.12805 ID - 2308.12805 ER -