46 citations · 125 across the 11 of their papers we have counts for
11 papers · 1 filter
Cost Reduction on Testing Evolving Cancer Registry System
Erblin Isaku, Hassan Sartaj, Christoph Laaber +4
The Cancer Registration Support System (CaReSS), built by the Cancer Registry of Norway (CRN), is a complex real-world socio-technical software system that undergoes continuous evo…
Towards Quantum Software Requirements Engineering
Tao Yue, Shaukat Ali, Paolo Arcaini
Quantum software engineering (QSE) is receiving increasing attention, as evidenced by increasing publications on topics, e.g., quantum software modeling, testing, and debugging. Ho…
Evolve the Model Universe of a System Universe
Tao Yue, Shaukat Ali
Uncertain, unpredictable, real time, and lifelong evolution causes operational failures in intelligent software systems, leading to significant damages, safety and security hazards…
Testing Real-World Healthcare IoT Application: Experiences and Lessons Learned
Hassan Sartaj, Shaukat Ali, Tao Yue +1
Healthcare Internet of Things (IoT) applications require rigorous testing to ensure their dependability. Such applications are typically integrated with various third-party healthc…
HITA: An Architecture for System-level Testing of Healthcare IoT Applications
Hassan Sartaj, Shaukat Ali, Tao Yue +1
System-level testing of healthcare Internet of Things (IoT) applications requires creating a test infrastructure with integrated medical devices and third-party applications. A sig…
QuCAT: A Combinatorial Testing Tool for Quantum Software
Xinyi Wang, Paolo Arcaini, Tao Yue +1
With the increased developments in quantum computing, the availability of systematic and automatic testing approaches for quantum programs is becoming increasingly essential. To th…