A Symbolic Java Virtual Machine for Test Case Generation

Quality management is becoming a more and more important part of the software development process. As software testing is currently understood as the core function of the quality managment, developers start using software testing tools to facilitate their work. However most existing tools just manage given sets of test cases and check them against pre-defined testing criteria. The necessary test case discovery is usually up to user, who has to generate the test cases in an ad-hoc approach with only minimal support from the software. GlassTT, the tool we present in this paper, faces this problem by creating the needed test cases for a given criterion for a Java class file. It uses a symbolic Java virtual machine to generate constraints representing the conditions for the control flow under consideration. The system can employ a parameterizeable test criterion such as data-flow coverage. The constraint solvers embedded in the tool are capable of solving linear and non-linear constraints, which is sufficient for almost all constraints encountered in the execution of Java programs. They are encapsulated in an incremental constraint solver manager, which dynamically chooses an appropriate constraint solver and enables the efficient communication between constraint solvers and symbolical virtual machine

Eigenvalue density of Wilson loops in 2D SU(N) YM

In 1981 Durhuus and Olesen (DO) showed that at infinite N the eigenvalue density of a Wilson loop matrix W associated with a simple loop in two-dimensional Euclidean SU(N) Yang-Mills theory undergoes a phase transition at a critical size. The averages of det(z-W), 1/det(z-W), and det(1+uW)/(1-vW) at finite N lead to three different smoothed out expressions, all tending to the DO singular result at infinite N. These smooth extensions are obtained and compared to each other.Comment: 35 pages, 8 figure

Infinite N phase transitions in continuum Wilson loop operators

We define smoothed Wilson loop operators on a four dimensional lattice and check numerically that they have a finite and nontrivial continuum limit. The continuum operators maintain their character as unitary matrices and undergo a phase transition at infinite N reflected by the eigenvalue distribution closing a gap in its spectrum when the defining smooth loop is dilated from a small size to a large one. If this large N phase transition belongs to a solvable universality class one might be able to calculate analytically the string tension in terms of the perturbative Lambda-parameter. This would be achieved by matching instanton results for small loops to the relevant large-N-universal function which, in turn, would be matched for large loops to an effective string theory. Similarities between our findings and known analytical results in two dimensional space-time indicate that the phase transitions we found only affect the eigenvalue distribution, but the traces of finite powers of the Wilson loop operators stay smooth under scaling.Comment: 31 pages, 9 figures, typos and references corrected, minor clarifications adde

Biochemical predictors of outcome of pituitary surgery for cushing's disease

Objective: Transsphenoidal surgery (TS) is the primary therapy for Cushing's disease (CD). The aims of this retrospective study were twofold: (i) investigate early and late results of TS forCD, and (ii) evaluate various postoperative tests in order to predict the outcome of TS. Methods: We reviewed the long-term outcome in 79 patients with CD who underwent TS (median follow-up 84 months, range 6-197). Within 2 weeks after surgery, morning serum cortisol concentrations were obtained (n = 78) and corticotropin-releasing hormone (CRH) (n = 53) and metyrapone tests (n = 72) were performed. Three groups of outcome were identified: sustained remission, early failure (persistent CD), and late relapse. Results: Immediate postoperative remission was achieved in 51 patients (65%), whereas 28 patients (35%) had persistent CD after TS. Ten patients developed recurrent CD after initial remission (20%). Morning cortisol: all relapses but one recorded serum cortisol >50 nmol/l. A cortisol threshold value of 200 nmol/l has a positive predictive value of 79% for immediate surgical failure (negative predictive failure [NPV] 97%). CRH test: CRH-stimulated peak cortisol ≥600 nmol/l predicted early failure in 78% (NPV 100%). All relapses recorded CRH-stimulated peak cortisol ≥485 nmol/l. Metyrapone test: 11-deoxycortisol ≥345 nmol/l predicted an early failure in 86% of cases (NPV 94%). Conclusion: Predictive factors of surgical failure are morning cortisol ≥200 nmol/l, 11-deoxycortisol ≥345 nmol/l after metyrapone and CRH-stimulated cortisol ≥600 nmol/l. CRH and/or metyrapone testing are not superior to morning cortisol concentration in the prediction of outcome of TS. Careful long-term follow-up remains necessary independent of the outcome of biochemical testing. Copyrigh

The status of GEO 600

The GEO 600 laser interferometer with 600m armlength is part of a worldwide network of gravitational wave detectors. GEO 600 is unique in having advanced multiple pendulum suspensions with a monolithic last stage and in employing a signal recycled optical design. This paper describes the recent commissioning of the interferometer and its operation in signal recycled mode

Phenomenology of the Lense-Thirring effect in the Solar System

Recent years have seen increasing efforts to directly measure some aspects of the general relativistic gravitomagnetic interaction in several astronomical scenarios in the solar system. After briefly overviewing the concept of gravitomagnetism from a theoretical point of view, we review the performed or proposed attempts to detect the Lense-Thirring effect affecting the orbital motions of natural and artificial bodies in the gravitational fields of the Sun, Earth, Mars and Jupiter. In particular, we will focus on the evaluation of the impact of several sources of systematic uncertainties of dynamical origin to realistically elucidate the present and future perspectives in directly measuring such an elusive relativistic effect.Comment: LaTex, 51 pages, 14 figures, 22 tables. Invited review, to appear in Astrophysics and Space Science (ApSS). Some uncited references in the text now correctly quoted. One reference added. A footnote adde

Using remote sensing to quantify fishing effort and predict shorebird conflicts in an intertidal fishery.

Accurate estimates of fishing effort are necessary in order to assess interactions with the wider ecosystem and for defining and implementing appropriate management. In intertidal and inshore fisheries in which vessel monitoring systems (VMS) or logbook programmes may not be implemented, quantifying the distribution and intensity of fishing can be difficult. The most obvious effects of bottom-contact fishing are often physical changes to the habitat, such as scarring of the sediment following dredging or trawling. We explored the potential of applying remote sensing techniques to aerial imagery collected by an unmanned aerial vehicle, or drone, in an area of intertidal mud flat (0.52 km2) in Poole Harbour, UK, where shellfish dredging is widely carried out and conflicts between commercial fishing interests and the conservation of internationally important shorebird populations are a concern. Image classification and image texture analysis were performed on imagery collected during the open dredge season in November 2015, in order to calculate measures of fishing intensity across three areas of the harbour subject to different management measures. We found a significant correlation between results of the image texture analysis and official sightings records collected during the dredging season, indicating that this method most accurately quantified dredging disturbance. The relationship between shorebird densities and food intake rates and the results of this analysis method were then investigated to assess the potential for using remotely sensed measures of fishing effort to assess responses of overwintering shorebird populations to intertidal shellfish dredging. Our work highlights the application of such methods, providing a low-cost tool for quantifying fishing effort and predicting wildlife conflicts

Coherent Compton scattering on light nuclei in the delta resonance region

Coherent Compton scattering on light nuclei in the delta resonance region is studied in the impulse approximation and is shown to be a sensitive probe of the in-medium properties of the delta resonance. The elementary amplitude on a single nucleon is calculated from the unitary K-matrix approach developed previously. Modifications of the properties of the delta resonance due to the nuclear medium are accounted for through the self-energy operator of the delta, calculated from the one-pion loop. The dominant medium effects such as the Pauli blocking, mean-field modification of the nucleon and delta masses, and particle-hole excitations in the pion propagator are consistently included in nuclear matter.Comment: 30 pages, 11 figures, accepted for publication in Phys. Rev.

Unit bar architecture in a highly‐variable fluvial discharge regime: Examples from the Burdekin River, Australia

Unit bars are relatively large bedforms that develop in rivers over a wide range of climatic regimes. Unit bars formed within the highly-variable discharge Burdekin River in Queensland, Australia, were examined over three field campaigns between 2015 and 2017. These bars had complex internal structures, dominated by co-sets of cross-stratified and planar-stratified sets. The cross-stratified sets tended to down-climb. The development of complex internal structures was primarily a result of three processes: (i) superimposed bedforms reworking the unit bar avalanche face; (ii) variable discharge triggering reactivation surfaces; and (iii) changes in bar growth direction induced by stage change. Internal structures varied along the length and across the width of unit bars. For the former, down-climbing cross-stratified sets tended to pass into single planar cross-stratified deposits at the downstream end of emergent bars; such variation related to changes in fluvial conditions whilst bars were active. A hierarchy of six categories of fluvial unsteadiness is proposed, with these discussed in relation to their effects on unit bar (and dune) internal structure. Across-deposit variation was caused by changes in superimposed bedform and bar character along bar crests; such changes related to the three-dimensionality of the channel and bar geometry when bars were active. Variation in internal structure is likely to be more pronounced in unit bar deposits than in smaller bedform (for example, dune) deposits formed in the same river. This is because smaller bedforms are more easily washed out or modified by changing discharge conditions and their smaller dimensions restrict the variation in flow conditions that occur over their width. In regimes where unit bar deposits are well-preserved, their architectural variability is a potential aid to their identification. This complex architecture also allows greater resolution in interpreting the conditions before and during bar initiation and development