arXiv subjects

Jiahui Song

Publications and source records attributed to Jiahui Song.

8 recordsLinked to original sources

arXiv2026

EpiDroid: Dependency-Guided Recomposition for Deep State Discovery in Mobile GUI Testing

The increasing scale and complexity of mobile applications make automated GUI exploration essential for software quality assurance. However, existing methods often neglect state dependencies between test fragments, which leads to redundant exploration and prevents access to deep application states. We introduce EpiDroid, a black-box, pluggable framework that augments existing explorers through semantic state dependency awareness. EpiDroid distills raw traces into stable test fragments to extract underlying dependencies. It then employs a Recomposition-Replay paradigm to perform impact reasoning via LLM and deterministic replay on high-value mutable state elements. Through iterative feedback, EpiDroid refines the state-dependency graph to systematically reach deep application states. We integrated EpiDroid into both industrial and state-of-the-art research tools and evaluated it on 20 real-world apps. The results show that EpiDroid consistently improves the performance of all baselines, increasing average code coverage by 10--28\% and delivering 3--4$\times$ more coverage gain compared to continuing the baselines alone from the same starting point. This demonstrates that dependency-guided recomposition unlocks deep states that forward exploration cannot access, irrespective of additional budget.

cs.SE↗

arXiv2026

Unregistered Spectral Image Fusion: Unmixing, Adversarial Learning, and Recoverability

This paper addresses the fusion of a pair of spatially unregistered hyperspectral image (HSI) and multispectral image (MSI) covering roughly overlapping regions. HSIs offer high spectral but low spatial resolution, while MSIs provide the opposite. The goal is to integrate their complementary information to enhance both HSI spatial resolution and MSI spectral resolution. While hyperspectral-multispectral fusion (HMF) has been widely studied, the unregistered setting remains challenging. Many existing methods focus solely on MSI super-resolution, leaving HSI unchanged. Supervised deep learning approaches were proposed for HSI super-resolution, but rely on accurate training data, which is often unavailable. Moreover, theoretical analyses largely address the co-registered case, leaving unregistered HMF poorly understood. In this work, an unsupervised framework is proposed to simultaneously super-resolve both MSI and HSI. The method integrates coupled spectral unmixing for MSI super-resolution with latent-space adversarial learning for HSI super-resolution. Theoretical guarantees on the recoverability of the super-resolution MSI and HSI are established under reasonable generative models -- providing, to our best knowledge, the first such insights for unregistered HMF. The approach is validated on semi-real and real HSI-MSI pairs across diverse conditions.

eess.IV↗

arXiv2025

Supersonic flow kinetics: Mesoscale structures, thermodynamic nonequilibrium effects and entropy production mechanisms

Supersonic flow is a typical nonlinear, nonequilibrium, multiscale, and complex phenomenon. This paper applies discrete Boltzmann method/model (DBM) to simulate and analyze these characteristics. A Burnett-level DBM for supersonic flow is constructed based on the Shakhov-BGK model. Higher-order analytical expressions for thermodynamic nonequilibrium effects are derived, providing a constitutive basis for improving traditional macroscopic hydrodynamics modeling. Criteria for evaluating the validity of DBM are established by comparing numerical and analytical solutions of nonequilibrium measures. The multiscale DBM is used to investigate discrete/nonequilibrium characteristics and entropy production mechanisms in shock regular reflection. The findings include: (a) Compared to NS-level DBM, the Burnett-level DBM offers more accurate representations of viscous stress and heat flux, ensures non-negativity of entropy production in accordance with the second law of thermodynamics, and exhibits better numerical stability. (b) Near the interfaces of incident and reflected shock waves, strong nonequilibrium driving forces lead to prominent nonequilibrium effects. By monitoring the timing and location of peak nonequilibrium quantities, the evolution characteristics of incident and reflected shock waves can be accurately and dynamically tracked. (c) In the intermediate state, the bent reflected shock and incident shock interface are wider and exhibit lower nonequilibrium intensities compared to their final state. (d) The Mach number enhances various kinds of nonequilibrium intensities in a power-law manner $D_{mn} \sim \mathtt{Ma}^\alpha $. The power exponent $\alpha$ and kinetic modes of nonequilibrium effects $m$ follows a logarithmic relation $\alpha \sim \ln (m - m_0)$. This research provides new perspectives and kinetic insights into supersonic flow studies.

physics.flu-dyn↗

arXiv2024

GUI Testing Arena: A Unified Benchmark for Advancing Autonomous GUI Testing Agent

Nowadays, research on GUI agents is a hot topic in the AI community. However, current research focuses on GUI task automation, limiting the scope of applications in various GUI scenarios. In this paper, we propose a formalized and comprehensive environment to evaluate the entire process of automated GUI Testing (GTArena), offering a fair, standardized environment for consistent operation of diverse multimodal large language models. We divide the testing process into three key subtasks: test intention generation, test task execution, and GUI defect detection, and construct a benchmark dataset based on these to conduct a comprehensive evaluation. It evaluates the performance of different models using three data types: real mobile applications, mobile applications with artificially injected defects, and synthetic data, thoroughly assessing their capabilities in this relevant task. Additionally, we propose a method that helps researchers explore the correlation between the performance of multimodal language large models in specific scenarios and their general capabilities in standard benchmark tests. Experimental results indicate that even the most advanced models struggle to perform well across all sub-tasks of automated GUI Testing, highlighting a significant gap between the current capabilities of Autonomous GUI Testing and its practical, real-world applicability. This gap provides guidance for the future direction of GUI Agent development. Our code is available at https://github.com/ZJU-ACES-ISE/ChatUITest.

cs.AI↗

arXiv2023

Viscous effects on morphological and thermodynamic non-equilibrium characterizations of shock-bubble interaction

A two-fluid discrete Boltzmann model with a flexible Prandtl number is formulated to study the shock-bubble interaction (SBI). This paper mainly focuses on the viscous effects on morphological and thermodynamic non-equilibrium (TNE) characterizations during the SBI process. Due to the rapid and brief nature of the SBI process, viscosity has a relatively limited influence on macroscopic parameters but significantly affects the TNE features of the fluid system. Morphologically, viscosity affects the configuration of the vortex pair, increases both the amplitudes of gradients of average density and average temperature of the fluid field, and reduces circulation of the bubble. As a higher viscosity fluid absorbs more energy from the shock wave, it leads to an increase in both the proportion of the high-density region and the corresponding boundary length for a fixed density threshold. The spatiotemporal features of TNE quantities are analyzed from multiple perspectives. The spatial configuration of these TNE quantities exhibits interesting symmetry, which aids in understanding the way and extent to which fluid unit deviates from the equilibrium state. Theoretically, viscosity influences these TNE quantities by affecting the transport coefficients and gradients of macroscopic quantity. Meanwhile, the viscosity increases the entropy production rate originating from the non-organized momentum flux mainly through amplifying the transport coefficient and enhances the entropy production rate contributed by the non-organized energy flux by raising the temperature gradient. These multi-perspective results collectively provide a relatively comprehensive depiction of the SBI.

physics.flu-dyn↗

arXiv2023

Plasma kinetics: Discrete Boltzmann modelling and Richtmyer-Meshkov instability

A discrete Boltzmann model (DBM) for plasma kinetics is proposed. The constructing of DBM mainly considers two aspects. The first is to build a physical model with sufficient physical functions before simulation. The second is to present schemes for extracting more valuable information from massive data after simulation. For the first aspect, the model is equivalent to a magnetohydrodynamic model plus a coarse-grained model for the most relevant TNE behaviors including the entropy production rate. A number of typical benchmark problems including Orszag-Tang (OT) vortex problem are used to verify the physical functions of DBM. For the second aspect, the DBM use non-conserved kinetic moments of (f-feq) to describe non-equilibrium state and behaviours of complex system. The OT vortex problem and the Richtmyer-Meshkov instability (RMI) are practical applications of the second aspect. For RMI with interface inverse and re-shock process, it is found that, in the case without magnetic field, the non-organized momentum flux shows the most pronounced effects near shock front, while the non-organized energy flux shows the most pronounced behaviors near perturbed interface. The influence of magnetic field on TNE effects shows stages: before the interface inverse, the TNE strength is enhanced by reducing the interface inverse speed; while after the interface inverse, the TNE strength is significantly reduced. Both the global average TNE strength and entropy production rate contributed by non-organized energy flux can be used as physical criteria to identify whether or not the magnetic field is sufficient to prevent the interface inverse.

physics.plasm-ph↗

arXiv2023

Specific-heat ratio effects on the interaction between shock wave and heavy-cylindrical bubble: based on discrete Boltzmann method

Specific-heat ratio effects on the interaction between a planar shock wave and a two-dimensional heavy-cylindrical bubble are studied by the discrete Boltzmann method. Snapshots of schlieren images and evolutions of characteristic scales, being consistent with experiments, are obtained. The specific-heat ratio effects on some relevant dynamic behaviors such as the bubble shape, deformation process, average motion, vortex motion, mixing degree of the fluid system are carefully studied, as well as the related Thermodynamic Non-Equilibriums (TNE) behaviors including the TNE strength, entropy production rate of the system. Specifically, it is found that the influence of specific-heat ratio on the entropy production contributed by non-organized energy flux (NOEF) is more significant than that caused by non-organized momentum flux (NOMF). Effects of specific-heat ratio on entropy production caused by NOMF and NOEF are contrary. The effects of specific-heat ratio on various TNE quantities show interesting differences. These differences consistently show the complexity of TNE flows which is still far from clear understanding.

physics.flu-dyn↗

arXiv2021

Discrete Boltzmann Modeling of Plasma Shock Wave

Plasma shock waves widely exist and play an important role in high-energy-density environment, especially in the inertial confinement fusion. Due to the large gradient of macroscopic physical quantities and the coupled thermal, electrical, magnetic and optical phenomena, there exist not only hydrodynamic non-equilibrium (HNE) effects, but also strong thermodynamic non-equilibrium (TNE) effects around the wavefront. In this work, a two-dimensional single-fluid discrete Boltzmann model is proposed to investigate the physical structure of ion shock. The electron is assumed inertialess and always in thermodynamic equilibrium. The Rankine-Hugoniot relations for single fluid theory of plasma shock wave is derived. It is found that the physical structure of shock wave in plasma is significantly different from that in normal fluid and somewhat similar to that of detonation wave from the sense that a peak appears in the front. The non-equilibrium effects around the shock front become stronger with increasing Mach number. The charge of electricity deviates oppositely from neutrality in upstream and downstream of the shock wave. The large inertia of the ions causes them to lag behind, so the wave front charge is negative and the wave rear charge is positive. The variations of HNE and TNE with Mach number are numerically investigated. The characteristics of TNE can be used to distinguish plasma shock wave from detonation wave.

physics.plasm-ph↗