Automated Test Generation for Medical Rules Web Services: A Case Study at the Cancer Registry of Norway.
Christoph LaaberTao YueShaukat AliThomas SchwitallaJan F. NygårdPublished in: CoRR (2023)
Keyphrases
- web services
- test generation
- test cases
- composition of web services
- design automation
- service discovery
- symbolic execution
- web applications
- test sequences
- quality assurance
- description language
- static analysis
- business processes
- service composition
- service oriented
- web service composition
- service oriented architecture
- software components
- real estate
- case study
- software testing
- computer aided
- breast cancer
- integrity constraints
- business process
- web apis
- software engineering
- cancer treatment
- information systems