Target Directed Event Sequence Generation for Android Applications

Testing is a commonly used approach to ensure the quality of software, of which model-based testing is a hot topic to test GUI programs such as Android applications (apps). Existing approaches mainly either dynamically construct a model that only contains the GUI information, or build a model in the view of code that may fail to describe the changes of GUI widgets during runtime. Besides, most of these models do not support back stack that is a particular mechanism of Android. Therefore, this paper proposes a model LATTE that is constructed dynamically with consideration of the view information in the widgets as well as the back stack, to describe the transition between GUI widgets. We also propose a label set to link the elements of the LATTE model to program snippets. The user can define a subset of the label set as a target for the testing requirements that need to cover some specific parts of the code. To avoid the state explosion problem during model construction, we introduce a definition "state similarity" to balance the model accuracy and analysis cost. Based on this model, a target directed test generation method is presented to generate event sequences to effectively cover the target. The experiments on several real-world apps indicate that the generated test cases based on LATTE can reach a high coverage, and with the model we can generate the event sequences to cover a given target with short event sequences

Hidden type-II Weyl points in the Weyl semimetal NbP

As one of Weyl semimetals discovered recently, NbP exhibits two groups of Weyl points with one group lying inside the $k_z=0$ plane and the other group staying away from this plane. All Weyl points have been assumed to be type-I, for which the Fermi surface shrinks into a point as the Fermi energy crosses the Weyl point. In this work, we have revealed that the second group of Weyl points are actually type-II, which are found to be touching points between the electron and hole pockets in the Fermi surface. Corresponding Weyl cones are strongly tilted along a line approximately $17^\circ$ off the $k_z$ axis in the $k_x - k_z$ (or $k_y - k_z$) plane, violating the Lorentz symmetry but still giving rise to Fermi arcs on the surface. Therefore, NbP exhibits both type-I ($k_z=0$ plane) and type-II ($k_z \neq 0$ plane) Weyl points.Comment: 5 pages and 4 figure

Asteroseismic Study on Cluster Distance Moduli for RGB Stars in NGC 6791 and NGC 6819

Stellar distance is an important basic parameter in stellar astrophysics. Stars in a cluster are thought to be formed coevally from the same interstellar cloud of gas and dust. They are therefore expected to have common properties. These common properties strengthen our ability to constrain theoretical models and/or to determine fundamental parameters, such as stellar mass, metal fraction, and distance when tested against an ensemble of cluster stars. Here we derive a new relation based on solar-like oscillations, photometric observations, and the theory of stellar structure and evolution of red giant branch stars to determine cluster distance moduli through the global oscillation parameters $\Delta\nu$ and $\nu_{\rm max}$, and photometric data \textit{V}. The values of $\Delta\nu$ and $\nu_{\rm max}$ are derived from \textit{kepler} observations. At the same time, it is used to interpret the trends between \textit{V} and $\Delta\nu$. From the analyses of this newly derived relation and observational data of NGC 6791 and NGC 6819 we devise a method in which all stars in a cluster are regarded as one entity to determine the cluster distance modulus. This approach fully reflects the characteristic of member stars in a cluster as a natural sample. From this method we derive true distance moduli of $13.09\pm0.10$ mag for NGC 6791 and $11.88\pm0.14$ mag for NGC 6819. Additionally, we find that the distance modulus only slightly depends on the metallicity [Fe/H] in the new relation. A change of 0.1 dex in [Fe/H] will lead to a change of 0.06 mag in the distance modulus.Comment: 9 pages, 6 figures, 4 tables, accepted Ap

Thermodynamics of the Schwarzschild-AdS black hole with a minimal length

Using the mass-smeared scheme of black holes, we study the thermodynamics of black holes. Two interesting models are considered. One is the self-regular Schwarzschild-AdS black hole whose mass density is given by the analogue to probability densities of quantum hydrogen atoms. The other model is the same black hole but whose mass density is chosen to be a rational fractional function of radial coordinates. Both mass densities are in fact analytic expressions of the ${\delta}$-function. We analyze the phase structures of the two models by investigating the heat capacity at constant pressure and the Gibbs free energy in an isothermal-isobaric ensemble. Both models fail to decay into the pure thermal radiation even with the positive Gibbs free energy due to the existence of a minimal length. Furthermore, we extend our analysis to a general mass-smeared form that is also associated with the ${\delta}$-function, and indicate the similar thermodynamic properties for various possible mass-smeared forms based on the ${\delta}$-function.Comment: v1: 25 pages, 14 figures; v2: 26 pages, 15 figures; v3: minor revisions, final version to appear in Adv. High Energy Phy