6 papers
OpTime: Statically Reducing the Execution Time of Microbenchmark Suites Using Stability Metrics
Nils Japke, Martin Grambow, Christoph Laaber +1
Performance regressions have a tremendous impact on the quality of software. One way to catch regressions before they reach production is executing performance tests before deploym…
Bloch Vector Assertions for Debugging Quantum Programs
Noah H. Oldfield, Christoph Laaber, Shaukat Ali
Quantum programs must be reliable to ensure trustworthy results, yet debugging them is notoriously challenging due to quantum-specific faults like gate misimplementations and hardw…
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…
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…
Evaluating Search-Based Software Microbenchmark Prioritization
Christoph Laaber, Tao Yue, Shaukat Ali
Ensuring that software performance does not degrade after a code change is paramount. A solution is to regularly execute software microbenchmarks, a performance testing technique s…