68 citations · 250 across the 34 of their papers we have counts for
19 papers · 1 filter
Model-based Digital Twins of Medicine Dispensers for Healthcare IoT Applications
Hassan Sartaj, Shaukat Ali, Tao Yue +1
Healthcare applications with the Internet of Things (IoT) are often safety-critical, thus, require extensive testing. Such applications are often connected to smart medical devices…
EpiTESTER: Testing Autonomous Vehicles with Epigenetic Algorithm and Attention Mechanism
Chengjie Lu, Shaukat Ali, Tao Yue
Testing autonomous vehicles (AVs) under various environmental scenarios that lead the vehicles to unsafe situations is known to be challenging. Given the infinite possible environm…
Uncertainty-Aware Test Prioritization: Approaches and Empirical Evaluation
Man Zhang, Jiahui Wu, Shaukat Ali +1
Complex software systems, e.g., Cyber-Physical Systems (CPSs), interact with the real world; thus, they often behave unexpectedly in uncertain environments. Testing such systems is…
Quantum Circuit Mutants: Empirical Analysis and Recommendations
Eñaut Mendiluze Usandizaga, Tao Yue, Paolo Arcaini +1
As a new research area, quantum software testing lacks systematic testing benchmarks to assess testing techniques' effectiveness. Recently, some open-source benchmarks and mutation…
DeepQTest: Testing Autonomous Driving Systems with Reinforcement Learning and Real-world Weather Data
Chengjie Lu, Tao Yue, Man Zhang +1
Autonomous driving systems (ADSs) are capable of sensing the environment and making driving decisions autonomously. These systems are safety-critical, and testing them is one of th…
Pretrain, Prompt, and Transfer: Evolving Digital Twins for Time-to-Event Analysis in Cyber-physical Systems
Qinghua Xu, Tao Yue, Shaukat Ali +1
Cyber-Physical Systems (CPSs), e.g., elevator systems and autonomous driving systems, are progressively permeating our everyday lives. To ensure their safety, various analyses need…