68 citations · 250 across the 34 of their papers we have counts for
34 papers
Leveraging LLM-Based Agentic Systems to Generate Quantum Applications for Test Optimization
Ming Tao, Yuechen Li, Tao Yue +2
Quantum computing is increasingly explored for software engineering (SE) optimization, but translating natural-language (NL) task-level requirements into executable quantum applica…
Agentic Generation and Evolution of Knowledge Models
Man Zhang, Tao Yue, Nazareno M. Aguirre +2
Complex software systems such as autonomous vehicles, robotics increasingly interact with dynamic physical, cyber, and social environments. Reasoning about their behavior, maintain…
Detecting and Mitigating Flakiness in REST API Fuzzing
Man Zhang, Chongyang Shen, Andrea Arcuri +1
Test flakiness is a common problem in industry, which hinders the reliability of automated build and testing workflows. Most existing research on test flakiness has primarily focus…
Fuzzing Microservices in Face of Intrinsic Uncertainties
Man Zhang, Tao Yue, Andrea Arcuri
The widespread adoption of microservices has fundamentally transformed how modern software systems are designed, deployed, operated and maintained. However, well-known microservice…
Managing Uncertainty in LLM-based Multi-Agent System Operation
Man Zhang, Tao Yue, Yihua He
Applying LLM-based multi-agent software systems in safety-critical domains such as lifespan echocardiography introduces system-level risks that cannot be addressed by improving mod…
Uncertainty Modeling for SysML v2
Man Zhang, Yunyang Li, Tao Yue
Uncertainty is inherent in modern engineered systems, including cyber-physical systems, autonomous systems, and large-scale software-intensive infrastructures (such as microservice…
RisConFix: LLM-based Automated Repair of Risk-Prone Drone Configurations
Liping Han, Tingting Nie, Le Yu +2
Flight control software is typically designed with numerous configurable parameters governing multiple functionalities, enabling flexible adaptation to mission diversity and enviro…
Empirical Studies on Quantum Optimization for Software Engineering: A Systematic Analysis
Man Zhang, Yuechen Li, Tao Yue +1
In recent years, quantum, quantum-inspired, and hybrid algorithms are increasingly showing promise for solving software engineering optimization problems. However, best-intended pr…
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…
A Machine Learning-Based Error Mitigation Approach For Reliable Software Development On IBM'S Quantum Computers
Asmar Muqeet, Shaukat Ali, Tao Yue +1
Quantum computers have the potential to outperform classical computers for some complex computational problems. However, current quantum computers (e.g., from IBM and Google) have…
Quantum Software Engineering: Roadmap and Challenges Ahead
Juan M. Murillo, Jose Garcia-Alonso, Enrique Moguel +13
As quantum computers advance, the complexity of the software they can execute increases as well. To ensure this software is efficient, maintainable, reusable, and cost-effective -k…
Reality Bites: Assessing the Realism of Driving Scenarios with Large Language Models
Jiahui Wu, Chengjie Lu, Aitor Arrieta +2
Large Language Models (LLMs) are demonstrating outstanding potential for tasks such as text generation, summarization, and classification. Given that such models are trained on a h…
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…
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…