5 citations · 5 across the 10 of their papers we have counts for
11 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…
Ising-based Test Optimization and Benchmarking
Yige Yang, Man Zhang, Tao Yue
Test optimization contains test case selection and minimization, which is an important challenge in software testing and has been addressed with search-based approaches intensively…
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…
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…
Quantum Optimization for Software Engineering: A Survey
Man Zhang, Yuechen Li, Tao Yue +1
Quantum computing, particularly in the area of quantum optimization, is steadily progressing toward practical applications, supported by an expanding range of hardware platforms an…
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…
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…