5 papers · 1 filter
LLMs in the Heart of Differential Testing: A Case Study on a Medical Rule Engine
Erblin Isaku, Christoph Laaber, Hassan Sartaj +3
The Cancer Registry of Norway (CRN) uses an automated cancer registration support system (CaReSS) to support core cancer registry activities, i.e, data capture, data curation, and…
Testing Medical Rules Web Services in Practice
Christoph Laaber, Shaukat Ali, Thomas Schwitalla +1
The Cancer Registry of Norway (CRN) collects and processes cancer-related data for patients in Norway. For this, it employs a sociotechnical software system that evolves with chang…
Quantum Neural Network Classifier for Cancer Registry System Testing: A Feasibility Study
Xinyi Wang, Shaukat Ali, Paolo Arcaini +2
The Cancer Registry of Norway (CRN) is a part of the Norwegian Institute of Public Health (NIPH) and is tasked with producing statistics on cancer among the Norwegian population. F…
Faster and Better Quantum Software Testing through Specification Reduction and Projective Measurements
Noah H. Oldfield, Christoph Laaber, Tao Yue +1
Quantum computing promises polynomial and exponential speedups in many domains, such as unstructured search and prime number factoring. However, quantum programs yield probabilisti…
Quantum Program Testing Through Commuting Pauli Strings on IBM's Quantum Computers
Asmar Muqeet, Shaukat Ali, Paolo Arcaini
The most promising applications of quantum computing are centered around solving search and optimization tasks, particularly in fields such as physics simulations, quantum chemistr…