46 citations · 154 across the 15 of their papers we have counts for
15 papers
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…
Digital Twin-based Anomaly Detection with Curriculum Learning in Cyber-physical Systems
Qinghua Xu, Shaukat Ali, Tao Yue
Anomaly detection is critical to ensure the security of cyber-physical systems (CPS). However, due to the increasing complexity of attacks and CPS themselves, anomaly detection in…
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…
Knowledge Distillation-Empowered Digital Twin for Anomaly Detection
Qinghua Xu, Shaukat Ali, Tao Yue +2
Cyber-physical systems (CPSs), like train control and management systems (TCMS), are becoming ubiquitous in critical infrastructures. As safety-critical systems, ensuring their dep…
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…
EvoCLINICAL: Evolving Cyber-Cyber Digital Twin with Active Transfer Learning for Automated Cancer Registry System
Chengjie Lu, Qinghua Xu, Tao Yue +3
The Cancer Registry of Norway (CRN) collects information on cancer patients by receiving cancer messages from different medical entities (e.g., medical labs, and hospitals) in Norw…
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…
Challenges of Testing an Evolving Cancer Registration Support System in Practice
Christoph Laaber, Tao Yue, Shaukat Ali +2
The Cancer Registry of Norway (CRN) is a public body responsible for capturing and curating cancer patient data histories to provide a unified access to research data and statistic…
Test Case Minimization with Quantum Annealers
Xinyi Wang, Asmar Muqeet, Tao Yue +2
Quantum annealers are specialized quantum computers for solving combinatorial optimization problems using special characteristics of quantum computing (QC), such as superposition,…
Automated Test Generation for Medical Rules Web Services: A Case Study at the Cancer Registry of Norway
Christoph Laaber, Tao Yue, Shaukat Ali +2
The Cancer Registry of Norway (CRN) collects, curates, and manages data related to cancer patients in Norway, supported by an interactive, human-in-the-loop, socio-technical decisi…
Mitigating Noise in Quantum Software Testing Using Machine Learning
Asmar Muqeet, Tao Yue, Shaukat Ali +1
Quantum Computing (QC) promises computational speedup over classic computing for solving complex problems. However, noise exists in current and near-term quantum computers. Quantum…
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…
QuSBT: Search-Based Testing of Quantum Programs
Xinyi Wang, Paolo Arcaini, Tao Yue +1
Generating a test suite for a quantum program such that it has the maximum number of failing tests is an optimization problem. For such optimization, search-based testing has shown…