@misc{indiciae29d589ff69f6,
  title = {Automated Test Generation for Medical Rules Web Services: A Case Study at the Cancer Registry of Norway},
  author = {Christoph Laaber and Tao Yue and Shaukat Ali and Thomas Schwitalla and Jan F. Nygård},
  year = {2023},
  doi = {10.1145/3611643.3613882},
  url = {https://arxiv.org/abs/2308.12805},
  note = {Source identifier: 2308.12805}
}