Publications (63)
Experimental evidence of crystal-field, Zeeman splitting, and spin-phonon excitations in the quantum supersolid Na2BaCo(PO4)2
Ghulam Hussain, Jianbo Zhang, Man Zhang +5
Drawing inspiration from the recent breakthroughs in the \ce{Na_{2}BaCo(PO_{4})_{2}} quantum magnet, renowned for its spin supersolidity phase and its potential for revolutionary c…
VividListener: Expressive and Controllable Listener Dynamics Modeling for Multi-Modal Responsive Interaction
Shiying Li, Xingqun Qi, Bingkun Yang +6
Generating responsive listener head dynamics with nuanced emotions and expressive reactions is crucial for practical dialogue modeling in various virtual avatar animations. Previou…
Advanced White-Box Heuristics for Search-Based Fuzzing of REST APIs
Andrea Arcuri, Man Zhang, Juan Pablo Galeotti
Due to its importance and widespread use in industry, automated testing of REST APIs has attracted major interest from the research community in the last few years. However, most o…
Testing RESTful APIs: A Survey
Amid Golmohammadi, Man Zhang, Andrea Arcuri
In industry, RESTful APIs are widely used to build modern Cloud Applications. Testing them is challenging, because not only they rely on network communications, but also they deal…
RoleMotion: A Large-Scale Dataset towards Robust Scene-Specific Role-Playing Motion Synthesis with Fine-grained Descriptions
Junran Peng, Yiheng Huang, Silei Shen +8
In this paper, we introduce RoleMotion, a large-scale human motion dataset that encompasses a wealth of role-playing and functional motion data tailored to fit various specific sce…
WFC/WFD: Web Fuzzing Commons, Dataset and Guidelines to Support Experimentation in REST API Fuzzing
Omur Sahin, Man Zhang, Andrea Arcuri
Fuzzing REST APIs is an important research problem, with practical applications and impact in industry. As such, a lot of research work has been carried out on this topic in the la…
White-box Fuzzing RPC-based APIs with EvoMaster: An Industrial Case Study
Man Zhang, Andrea Arcuri, Yonggang Li +2
Remote Procedure Call (RPC) is a communication protocol to support client-server interactions among services over a network. RPC is widely applied in industry for building large-sc…
StableMoFusion: Towards Robust and Efficient Diffusion-based Motion Generation Framework
Yiheng Huang, Hui Yang, Chuanchen Luo +5
Thanks to the powerful generative capacity of diffusion models, recent years have witnessed rapid progress in human motion generation. Existing diffusion-based methods employ dispa…
Enhancing REST API Fuzzing with Access Policy Violation Checks and Injection Attacks
Omur Sahin, Man Zhang, Andrea Arcuri
Due to their widespread use in industry, several techniques have been proposed in the literature to fuzz REST APIs. Existing fuzzers for REST APIs have been focusing on detecting c…
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…
Bidirectional Knowledge Reconfiguration for Lightweight Point Cloud Analysis
Peipei Li, Xing Cui, Yibo Hu +3
Point cloud analysis faces computational system overhead, limiting its application on mobile or edge devices. Directly employing small models may result in a significant drop in pe…
Advances in Embodied Navigation Using Large Language Models: A Survey
Jinzhou Lin, Han Gao, Xuxiang Feng +5
In recent years, the rapid advancement of Large Language Models (LLMs) such as the Generative Pre-trained Transformer (GPT) has attracted increasing attention due to their potentia…
AI Delivers Creative Output but Struggles with Thinking Processes
Man Zhang, Ying Li, Yang Peng +5
A key objective in artificial intelligence (AI) development is to create systems that match or surpass human creativity. Although current AI models perform well across diverse crea…
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…
RoleLLM: Benchmarking, Eliciting, and Enhancing Role-Playing Abilities of Large Language Models
Zekun Moore Wang, Zhongyuan Peng, Haoran Que +14
The advent of Large Language Models (LLMs) has paved the way for complex tasks such as role-playing, which enhances user interactions by enabling models to imitate various characte…
One-step architecture of bifunctional petal-like oxygen-deficient NiAl-LDHs nanosheets for high-performance hybrid supercapacitors and urea oxidation
Yuchen Wang, Yaoyu Liu, Man Zhang +3
Nickel-based layered double hydroxides (LDHs) are promising electrode materials in the fields of energy storage (supercapacitors) and conversion (urea oxidation). The rational cons…
Everything in Its Place: Benchmarking Spatial Intelligence of Text-to-Image Models
Zengbin Wang, Xuecai Hu, Yong Wang +3
Text-to-image (T2I) models have achieved remarkable success in generating high-fidelity images, but they often fail in handling complex spatial relationships, e.g., spatial percept…
Q-READY: Predictive Feasibility Assessment for Hybrid Quantum-Classical Applications
Tao Yue, Man Zhang
Quantum computing is rapidly evolving into an emerging computational infrastructure and is increasingly being used to tackle real-world problems in domains such as chemistry, mater…
Influence of Solar Polar Magnetic Fields on the Propagation of Coronal Mass Ejection
Xiao Zhang, Liping Yang, Xueshang Feng +9
Understanding the propagation of coronal mass ejections (CMEs) through interplanetary space is essential for space weather forecasting. Due to observational limitations, measuremen…
Fuzzing Microservices: A Series of User Studies in Industry on Industrial Systems with EvoMaster
Man Zhang, Andrea Arcuri, Yonggang Li +5
With several microservice architectures comprising of thousands of web services, used to serve 630 million customers, companies like Meituan face several challenges in the verifica…
Big Data and Reliability Applications: The Complexity Dimension
Yili Hong, Man Zhang, William Q. Meeker
Big data features not only large volumes of data but also data with complicated structures. Complexity imposes unique challenges in big data analytics. Meeker and Hong (2014, Quali…
QAGait: Revisit Gait Recognition from a Quality Perspective
Zengbin Wang, Saihui Hou, Man Zhang +5
Gait recognition is a promising biometric method that aims to identify pedestrians from their unique walking patterns. Silhouette modality, renowned for its easy acquisition, simpl…
Self-supervised transformer-based pre-training method with General Plant Infection dataset
Zhengle Wang, Ruifeng Wang, Minjuan Wang +2
Pest and disease classification is a challenging issue in agriculture. The performance of deep learning models is intricately linked to training data diversity and quantity, posing…
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…
VLA-Corrector: Lightweight Detect-and-Correct Inference for Adaptive Action Horizon
Yi Pan, Miao Pan, Qi Lu +8
Vision-Language-Action (VLA) foundation models have recently achieved strong progress in embodied intelligence. To reduce policy-call frequency while preserving temporal coherence,…
Open Problems in Fuzzing RESTful APIs: A Comparison of Tools
Man Zhang, Andrea Arcuri
RESTful APIs are a type of web services that are widely used in industry. In the last few years, a lot of effort in the research community has been spent in designing novel techniq…
Recent Advances on Transition-Metal-Based Layered Double Hydroxides Nanosheets for Electrocatalytic Energy Conversion
Yuchen Wang, Man Zhang, Yaoyu Liu +5
Transition-metal-based layered double hydroxides (TM-LDHs) nanosheets are promising electrocatalysts in the renewable electrochemical energy conversion system, which are regarded a…
Transfer Learning from Synthetic In-vitro Soybean Pods Dataset for In-situ Segmentation of On-branch Soybean Pod
Si Yang, Lihua Zheng, Xieyuanli Chen +3
The mature soybean plants are of complex architecture with pods frequently touching each other, posing a challenge for in-situ segmentation of on-branch soybean pods. Deep learning…
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…
FurniScene: A Large-scale 3D Room Dataset with Intricate Furnishing Scenes
Genghao Zhang, Yuxi Wang, Chuanchen Luo +4
Indoor scene generation has attracted significant attention recently as it is crucial for applications of gaming, virtual reality, and interior design. Current indoor scene generat…
Causes and Effects of Fitness Landscapes in System Test Generation: A Replication Study
Omur Sahin, Man Zhang, Andrea Arcuri
Search-Based Software Testing (SBST) has seen several success stories in academia and industry. The effectiveness of a search algorithm at solving a software engineering problem st…
Interplanetary Rotation of 2021 December 4 CME
Mengxuan Ma, Liping Yang, Fang Shen +9
The magnetic orientation of coronal mass ejections (CMEs) is of great importance to understand their space weather effects. Although many evidences suggest that CMEs can undergo si…
OpenAnimals: Revisiting Person Re-Identification for Animals Towards Better Generalization
Saihui Hou, Panjian Huang, Zengbin Wang +4
This paper addresses the challenge of animal re-identification, an emerging field that shares similarities with person re-identification but presents unique complexities due to the…
Learning Geometric Invariance for Gait Recognition
Zengbin Wang, Junjie Li, Saihui Hou +6
The goal of gait recognition is to extract identity-invariant features of an individual under various gait conditions, e.g., cross-view and cross-clothing. Most gait models strive…
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…
LRASGen: LLM-based RESTful API Specification Generation
Sida Deng, Rubing Huang, Man Zhang +3
REpresentation State Transfer (REST) is an architectural style for designing web applications that enable scalable, stateless communication between clients and servers via common H…
MASTOR: A Multi-Agent Approach to Semantic Test Oracle Generation for RESTful APIs
Sida Deng, Rubing Huang, Zhenzhen Yang +3
Existing automated RESTful API testing approaches commonly rely on simple checks (e.g., HTTP status codes, schema conformance), which are insufficient for detecting semantic faults…
White-Box and Black-Box Fuzzing for GraphQL APIs
Asma Belhadi, Man Zhang, Andrea Arcuri
The Graph Query Language (GraphQL) is a powerful language for APIs manipulation in web services. It has been recently introduced as an alternative solution for addressing the limit…
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…
SIP-IFVM: A time-evolving coronal model with an extended magnetic field decomposition strategy
Haopeng Wang, Liping Yang, Stefaan Poedts +20
Time-evolving magnetohydrodynamic (MHD) coronal modeling, driven by a series of time-dependent photospheric magnetograms, represents a new generation of coronal simulations. This a…
Some bounds on the eigenvalues of uniform hypergraphs
Xiying Yuan, Man Zhang, Mei Lu
Let be a uniform hypergraph. Let and be the adjacency tensor and the signless Laplacian tensor of , respectively. In th…
Probabilistic Contrastive Learning for Domain Adaptation
Junjie Li, Yixin Zhang, Zilei Wang +3
Contrastive learning has shown impressive success in enhancing feature discriminability for various visual tasks in a self-supervised manner, but the standard contrastive paradigm…
An Algorithm for Computing the Distribution Function of the Generalized Poisson-Binomial Distribution
Man Zhang, Yili Hong, Narayanaswamy Balakrishnan
The Poisson-binomial distribution is useful in many applied problems in engineering, actuarial science, and data mining. The Poisson-binomial distribution models the distribution o…
GLM-4.5: Agentic, Reasoning, and Coding (ARC) Foundation Models
5 Team, Aohan Zeng, Xin Lv +167
We present GLM-4.5, an open-source Mixture-of-Experts (MoE) large language model with 355B total parameters and 32B activated parameters, featuring a hybrid reasoning method that s…
Using OAI Overlay to Enhance REST API Fuzzing
Omur Sahin, Man Zhang, Alexander Poth +6
REST APIs are widely used in industry. Therefore, a lot of research has been focused on how to automatically generate test cases for REST APIs, with few different open-source fuzze…
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…
Facile synthesis of micro-flower NiCo2O4 assembled by nanosheets efficient for electrocatalysis of water
Yujie Wang, Yan Duan, Yuwen Chen +6
Effective regulation of the morphology of transition metal spinel structures is crucial for creating efficient and stable bifunctional catalysts for electrocatalysis of water. In t…
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…
Cross-Modal Learning via Pairwise Constraints
Ran He, Man Zhang, Liang Wang +2
In multimedia applications, the text and image components in a web document form a pairwise constraint that potentially indicates the same semantic concept. This paper studies cros…
ReMeREC: Relation-aware and Multi-entity Referring Expression Comprehension
Yizhi Hu, Zezhao Tian, Xingqun Qi +6
Referring Expression Comprehension (REC) aims to localize specified entities or regions in an image based on natural language descriptions. While existing methods handle single-ent…
DanceEditor: Towards Iterative Editable Music-driven Dance Generation with Open-Vocabulary Descriptions
Hengyuan Zhang, Zhe Li, Xingqun Qi +4
Generating coherent and diverse human dances from music signals has gained tremendous progress in animating virtual avatars. While existing methods support direct dance synthesis,…
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…
SIG-Chat: Spatial Intent-Guided Conversational Gesture Generation Involving How, When and Where
Yiheng Huang, Junran Peng, Silei Shen +11
The accompanying actions and gestures in dialogue are often closely linked to interactions with the environment, such as looking toward the interlocutor or using gestures to point…
DDG-Net: Discriminability-Driven Graph Network for Weakly-supervised Temporal Action Localization
Xiaojun Tang, Junsong Fan, Chuanchen Luo +3
Weakly-supervised temporal action localization (WTAL) is a practical yet challenging task. Due to large-scale datasets, most existing methods use a network pretrained in other data…
In situ growth of hydrophilic nickel-cobalt layered double hydroxides nanosheets on biomass waste-derived porous carbon for high-performance hybrid supercapacitors
Yuchen Wang, Yaoyu Liu, Zuo Chen +4
Rational design and cost-effective fabrication of layered double hydroxides (LDHs) nanosheets with extraordinary electrochemical performance is a key challenge for hybrid supercapa…
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…
RA-SSU: Towards Fine-Grained Audio-Visual Learning with Region-Aware Sound Source Understanding
Muyi Sun, Yixuan Wang, Hong Wang +5
Audio-Visual Learning (AVL) is one fundamental task of multi-modality learning and embodied intelligence, displaying the vital role in scene understanding and interaction. However,…
Green fabrication of nickel-iron layered double hydroxides nanosheets efficient for the enhanced capacitive performance
Yuchen Wang, Zuo Chen, Man Zhang +3
Rational synthesis of robust layered double hydroxides (LDHs) nanosheets for high-energy supercapacitors is full of challenges. Herein, we reported an ultrasonication-assisted stra…
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…
Adversarial Discriminative Heterogeneous Face Recognition
Lingxiao Song, Man Zhang, Xiang Wu +1
The gap between sensing patterns of different face modalities remains a challenging problem in heterogeneous face recognition (HFR). This paper proposes an adversarial discriminati…
Visually-Guided Policy Optimization for Multimodal Reasoning
Zengbin Wang, Feng Xiong, Liang Lin +5
Reinforcement learning with verifiable rewards (RLVR) has significantly advanced the reasoning ability of vision-language models (VLMs). However, the inherent text-dominated nature…
Spectral Prompt Tuning:Unveiling Unseen Classes for Zero-Shot Semantic Segmentation
Wenhao Xu, Rongtao Xu, Changwei Wang +4
Recently, CLIP has found practical utility in the domain of pixel-level zero-shot segmentation tasks. The present landscape features two-stage methodologies beset by issues such as…
Search-Based Fuzzing For RESTful APIs That Use MongoDB
Hernan Ghianni, Man Zhang, Juan P. Galeotti +1
In RESTful APIs, interactions with a database are a common and crucial aspect. When generating whitebox tests, it is essential to consider the database's state (i.e., the data cont…