Investigating Automatic Static Analysis Results to Identify Quality Problems: an Inductive Study

Background: Automatic static analysis (ASA) tools examine source code to discover "issues", i.e. code patterns that are symptoms of bad programming practices and that can lead to defective behavior. Studies in the literature have shown that these tools find defects earlier than other verification activities, but they produce a substantial number of false positive warnings. For this reason, an alternative approach is to use the set of ASA issues to identify defect prone files and components rather than focusing on the individual issues. Aim: We conducted an exploratory study to investigate whether ASA issues can be used as early indicators of faulty files and components and, for the first time, whether they point to a decay of specific software quality attributes, such as maintainability or functionality. Our aim is to understand the critical parameters and feasibility of such an approach to feed into future research on more specific quality and defect prediction models. Method: We analyzed an industrial C# web application using the Resharper ASA tool and explored if significant correlations exist in such a data set. Results: We found promising results when predicting defect-prone files. A set of specific Resharper categories are better indicators of faulty files than common software metrics or the collection of issues of all issue categories, and these categories correlate to different software quality attributes. Conclusions: Our advice for future research is to perform analysis on file rather component level and to evaluate the generalizability of categories. We also recommend using larger datasets as we learned that data sparseness can lead to challenges in the proposed analysis proces

Quantized Vortex States of Strongly Interacting Bosons in a Rotating Optical Lattice

Bose gases in rotating optical lattices combine two important topics in quantum physics: superfluid rotation and strong correlations. In this paper, we examine square two-dimensional systems at zero temperature comprised of strongly repulsive bosons with filling factors of less than one atom per lattice site. The entry of vortices into the system is characterized by jumps of 2 pi in the phase winding of the condensate wavefunction. A lattice of size L X L can have at most L-1 quantized vortices in the lowest Bloch band. In contrast to homogeneous systems, angular momentum is not a good quantum number since the continuous rotational symmetry is broken by the lattice. Instead, a quasi-angular momentum captures the discrete rotational symmetry of the system. Energy level crossings indicative of quantum phase transitions are observed when the quasi-angular momentum of the ground-state changes.Comment: 12 Pages, 13 Figures, Version

The Wnt receptor Ryk is required for Wnt5a-mediated axon guidance on the contralateral side of the corpus callosum

Ryk (receptor related to tyrosine kinase) has been shown to be a novel Wnt receptor in both Caenorhabditis elegans and Drosophila melanogaster. Recently, Ryk-Wnt interactions were shown to guide corticospinal axons down the embryonic mouse spinal cord. Here we show that, in Ryk-deficient mice, cortical axons project aberrantly across the major forebrain commissure, the corpus callosum. Many mouse mutants have been described in which loss-of-function mutations result in the inability of callosal axons to cross the midline, thereby forming Probst bundles on the ipsilateral side. In contrast, loss of Ryk does not interfere with the ability of callosal axons to cross the midline but impedes their escape from the midline into the contralateral side. Therefore, Ryk(-/-) mice display a novel callosal guidance phenotype. We also show that Wnt5a acts as a chemorepulsive ligand for Ryk, driving callosal axons toward the contralateral hemisphere after crossing the midline. In addition, whereas callosal axons do cross the midline in Ryk(-/-) embryos, they are defasciculated on the ipsilateral side, indicating that Ryk also promotes fasciculation of axons before midline crossing. In summary, this study expands the emerging role for Wnts in axon guidance and identifies Ryk as a key guidance receptor in the establishment of the corpus callosum. Our analysis of Ryk function further advances our understanding of the molecular mechanisms underlying the formation of this important commissure

Analysis of Blood Borne Pathogen Exposure Monitoring Protocol Adherence in an Academic Medical Center: a seven year analysis and literature review

Background: Health care workers (HCW) are at risk for occupational blood borne pathogen exposures (BBPE). Effective prevention and management of BBPEs relies upon reporting and post-exposure follow-up protocol adherence. As post-exposure monitoring completion is largely unexplored, seven years of a university healthcare system’s BBPE exposure data was explored and compared to documented rates. Methods: The Marshall Health Occupational Health and Wellness division collected seven years (2012-2018) of BBPE follow-up monitoring adherence rates and demographic data. Data for HCW occupation, exposure incident, and source patient disease status were evaluated. Differences were analyzed with Chi square, Fischer Exact and logistic regression tests. Results: Of the HCWs (n =293), 31.7% completed follow-up monitoring. Completion rates of physicians and their learners (29.8%) trended lower than non-physician HCWs (43.9%; p \u3c 0.071). Similar completion rates were seen for all types of exposures (p = 0.470). Reported incidents had higher completion rates than unreported incidents (P = 0.001). Reported incidents (OR 6.906; 95% CI 1.936-24.637) and source patient status independently predicted completion, regardless of type of infection. Seropositive source patient status (67.2%) was associated with the highest HCW adherence rate (OR 4.747; 2.359-9.552), while unknown source patient status (17.1%) was the lowest (OR 0.423; 0.208-0.859). Conclusion: Current literature is limited regarding adherence rates to post-exposure monitoring protocols, favoring reporting rate analysis. Above results differ from some published reports potentially identifying unique demographic patterns in medical centers of differing size and governance. Understanding demographics associated with BBPEs may provide insight to institutional post-exposure monitoring adherence rates

Perceptions of knowledge sharing among small family firm leaders: a structural equation model

Small family firms have many unique relational qualities with implications for how knowledge is passed between individuals. Extant literature posits leadership approach as important in explaining differences in knowledge-sharing climate from one firm to another. This study investigates how leadership approaches interact with family influence to inform perceptions of knowledge sharing. We utilize survey data (n = 110) from owner-managers of knowledge-intensive small family firms in Scotland. Our findings present a choice in leadership intention, contrasting organization-focused participation against family-influenced guidance. Insight is offered on the implications of this leadership choice at both organizational and familial level

Knight Shift Anomalies in Heavy Electron Materials

We calculate non-linear Knight Shift $K$ vs. susceptibility $\chi$ anomalies for Ce ions possessing local moments in metals. The ions are modeled with the Anderson Hamiltonian and studied within the non-crossing approximation (NCA). The $K-vs.- \chi$ non-linearity diminishes with decreasing Kondo temperature $T_0$ and nuclear spin- local moment separation. Treating the Ce ions as an incoherent array in CeSn$_3$, we find excellent agreement with the observed Sn $K(T)$ data.Comment: 4 pages, Revtex, 3 figures available upon request from [email protected]

Non-Fermi Liquid Behavior In Quantum Critical Systems

The problem of an electron gas interacting via exchanging transverse gauge bosons is studied using the renormalization group method. The long wavelength behavior of the gauge field is shown to be in the Gaussian universality class with a dynamical exponent $z=3$ in dimensions $D \geq 2$. This implies that the gauge coupling constant is exactly marginal. Scattering of the electrons by the gauge mode leads to non-Fermi liquid behavior in $D \leq 3$. The asymptotic electron and gauge Green's functions, interaction vertex, specific heat and resistivity are presented.Comment: 9 pages in REVTEX 2.0. Submitted to Phys. Rev. Lett. 3 figures in postscript files can be obtained at [email protected]. The filename is gan.figures.tar.z and it's compressed. You can uncompress it by using commands: "uncompress gan.figures.tar.z" and "tar xvf gan.figures.tar

VPS29 Is Not an Active Metallo-Phosphatase but Is a Rigid Scaffold Required for Retromer Interaction with Accessory Proteins

VPS29 is a key component of the cargo-binding core complex of retromer, a protein assembly with diverse roles in transport of receptors within the endosomal system. VPS29 has a fold related to metal-binding phosphatases and mediates interactions between retromer and other regulatory proteins. In this study we examine the functional interactions of mammalian VPS29, using X-ray crystallography and NMR spectroscopy. We find that although VPS29 can coordinate metal ions Mn2+ and Zn2+ in both the putative active site and at other locations, the affinity for metals is low, and lack of activity in phosphatase assays using a putative peptide substrate support the conclusion that VPS29 is not a functional metalloenzyme. There is evidence that structural elements of VPS29 critical for binding the retromer subunit VPS35 may undergo both metal-dependent and independent conformational changes regulating complex formation, however studies using ITC and NMR residual dipolar coupling (RDC) measurements show that this is not the case. Finally, NMR chemical shift mapping indicates that VPS29 is able to associate with SNX1 via a conserved hydrophobic surface, but with a low affinity that suggests additional interactions will be required to stabilise the complex in vivo. Our conclusion is that VPS29 is a metal ion-independent, rigid scaffolding domain, which is essential but not sufficient for incorporation of retromer into functional endosomal transport assemblies

Universality class of non-Fermi liquid behavior in mixed valence systems

A generalized Anderson single-impurity model with off-site Coulomb interactions is derived from the extended three-band Hubbard model, originally proposed to describe the physics of the copper-oxides. Using the abelian bosonization technique and canonical transformations, an effective Hamiltonian is derived in the strong coupling limit, which is essentially analogous to the Toulouse limit of the ordinary Kondo problem. In this limit, the effective Hamiltonian can be exactly solved, with a mixed valence quantum critical point separating two different Fermi liquid phases, {\it i.e.} the Kondo phase and the empty orbital phase. In the mixed valence quantum critical regime, the local moment is only partially quenched and X-ray edge singularities are generated. Around the quantum critical point, a new type of non-Fermi liquid behavior is predicted with an extra specific heat $C_{imp}\sim T^{1/4}$ and a singular spin-susceptibility $\chi_{imp}\sim T^{-3/4}$. At the same time, the effective Hamiltonian under single occupancy is transformed into a resonant-level model, from which the correct Kondo physical properties (specific heat, spin susceptibility, and an enhanced Wilson ratio) are easily rederived. Finally, a brief discussion is given to relate these theoretical results to observations in $UPd_xCu_{5-x}$ ($x=1,1.5$) alloys, which show single-impurity critical behavior consistent with our predictions.Comment: 26 pages, revtex, no figure. Some corrections have been made, but the basic results are kept. To be published in Physical Review

Empirical Investigation on Agile Methods Usage: Issues Identified from Early Adopters in Malaysia

Agile Methods are a set of software practices that can help to produce products faster and at the same time deliver what customers want. Despite the benefits that Agile methods can deliver, however, we found few studies from the Southeast Asia region, particularly Malaysia. As a result, less empirical evidence can be obtained in the country making its implementation harder. To use a new method, experience from other practitioners is critical, which describes what is important, what is possible and what is not possible concerning Agile. We conducted a qualitative study to understand the issues faced by early adopters in Malaysia where Agile methods are still relatively new. The initial study involves 13 participants including project managers, CEOs, founders and software developers from seven organisations. Our study has shown that social and human aspects are important when using Agile methods. While technical aspects have always been considered to exist in software development, we found these factors to be less important when using Agile methods. The results obtained can serve as guidelines to practitioners in the country and the neighbouring regions