Predicting Accurate and Actionable Static Analysis Warnings: An Experimental Approach

Static analysis tools report software defects that may or may not be detected by other verification methods. Two challenges complicating the adoption of these tools are spurious false positive warnings and legitimate warnings that are not acted on. This paper reports automated support to help address these challenges using logistic regression models that predict the foregoing types of warnings from signals in the warnings and implicated code. Because examining many potential signaling factors in large software development settings can be expensive, we use a screening methodology to quickly discard factors with low predictive power and cost-effectively build predictive models. Our empirical evaluation indicates that these models can achieve high accuracy in predicting accurate and actionable static analysis warnings, and suggests that the models are competitive with alternative models built without screening.

Infrastructure Support for Controlled Experimentation with Software Testing and Regression Testing Techniques

Where the creation, understanding, and assessment of software testing and regression testing techniques are concerned, controlled experimentation is an indispensable research methodology. Obtaining the infrastructure necessary to support such experimentation, however, is difficult and expensive. As a result, progress in experimentation with testing techniques has been slow, and empirical data on the costs and effectiveness of techniques remains relatively scarce. To help address this problem, we have been designing and constructing infrastructure to support controlled experimentation with testing and regression testing techniques. This paper reports on the challenges faced by researchers experimenting with testing techniques, including those that inform the design of our infrastructure. The paper then describes the infrastructure that we are creating in response to these challenges, and that we are now making available to other researchers, and discusses the impact that this infrastructure has and can be expected to have.

The Impact of Software Evolution on Code Coverage Information

Many tools and techniques for addressing software maintenance problems rely on code coverage information. Often, this coverage information is gathered for a specific version of a software system, and then used to perform analyses on subsequent versions of that system without being recalculated. As a software system evolves, however, modifications to the software alter the software’s behavior on particular inputs, and code coverage information gathered on earlier versions of a program may not accurately reflect the coverage that would be obtained on later versions. This discrepancy may affect the success of analyses dependent on code coverage information. Despite the importance of coverage information in various analyses, in our search of the literature we find no studies specifically examining the impact of software evolution on code coverage information. Therefore, we conducted empirical studies to examine this impact. The results of our studies suggest that even relatively small modifications can greatly affect code coverage information, and that the degree of impact of change on coverage may be difficult to predict.

Revealing the Copy and Paste Habits of End Users

Transferring data across applications is a common end user task, and copying and pasting via the clipboard lets users do so relatively easily. Using the clipboard, however, can also introduce inefficiencies and errors in user tasks. To help researchers and tool developers understand and address these problems, we studied how end users interact with the clipboard through cut, copy, and paste actions. This study was performed by logging clipboard interactions while end users performed everyday tasks. From the clipboard usage data, we have identified several usage patterns that describe how data is transferred within the desktop environment. Such patterns help us understand end user behavior and indicate areas in which clipboard support tools can be improved.

Incorporating Varying Test Costs and Fault Severities into Test Case Prioritization

Test case prioritization techniques schedule test cases for regression testing in an order that increases their ability to meet some performance goal. One performance goal, rate offault detection, measures how quickly faults are detected within the testing process. In previous work we provided a metric, APFD, for measuring rate of fault detection, and techniques for prioritizing test cases to improve APFD, and reported the results of experiments using those techniques. This metric and these techniques, however, applied only in cases in which test costs and fault severity are uniform. In this paper, we present a new metric for assessing the rate of fault detection of prioritized test cases, that incorporates varying test case and fault costs. We present the results of a case study illustrating the application of the metric. This study raises several practical questions that might arise in applying test case prioritization; we discuss how practitioners could go about answering these questions.

Helping End-Users “Engineer” Dependable Web Applications

End-user programmers are increasingly relying on web authoring environments to create web applications. Although often consisting primarily of web pages, such applications are increasingly going further, harnessing the content available on the web through “programs” that query other web applications for information to drive other tasks. Unfortunately, errors can be pervasive in web applications, impacting their dependability. This paper reports the results of an exploratory study of end-user web application developers, performed with the aim of exposing prevalent classes of errors. The results suggest that end-users struggle the most with the identification and manipulation of variables when structuring requests to obtain data from other web sites. To address this problem, we present a family of techniques that help end user programmers perform this task, reducing possible sources of error. The techniques focus on simplification and characterization of the data that end-users must analyze while developing their web applications. We report the results of an empirical study in which these techniques are applied to several popular web sites. Our results reveal several potential benefits for end-users who wish to “engineer” dependable web applications.

Comportamento informacional cotidiano de adolescentes

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

The anatomy of the upper cretaceous snake Najash rionegrina Apesteguia & Zaher, 2006, and the evolution of limblessness in snakes

Najash rionegrina Apesteguia & Zaher, 2006, a terrestrial fossil snake from the Upper Cretaceous of Argentina, represents the first known snake with a sacrum associated with robust, well-developed hind limbs. Najash rionegrina documents an important gap in the evolutionary development towards limblessness, because its phylogenetic affinities suggest that it is the sister group of all modern snakes, including the limbed Tethyan snakes Pachyrhachis, Haasiophis, and Eupodophis. The latter three limbed marine fossil snakes are shown to be more derived morphologically, because they lack a sacrum, but have articulated lymphapophyses, and their appendicular skeleton is enclosed by the rib cage, as in modern snakes.

COMPARISON OF DIFFERENT PROTOCOLS FOR THE EXTRACTION OF MICROBIAL DNA FROM REEF CORALS

This study aimed to test different protocols for the extraction of microbial DNA from the coral Mussismilia harttii. Four different commercial kits were tested, three of them based on methods for DNA extraction from soil (FastDNA SPIN Kit for soil, MP Bio, PowerSoil DNA Isolation Kit, MoBio, and ZR Soil Microbe DNA Kit, Zymo Research) and one kit for DNA extraction from plants (UltraClean Plant DNA Isolation Kit, MoBio). Five polyps of the same colony of M. harttii were macerated and aliquots were submitted to DNA extraction by the different kits. After extraction, the DNA was quantified and PCR-DGGE was used to study the molecular fingerprint of Bacteria and Eukarya. Among the four kits tested, the ZR Soil Microbe DNA Kit was the most efficient with respect to the amount of DNA extracted, yielding about three times more DNA than the other kits. Also, we observed a higher number and intensities of DGGE bands for both Bacteria and Eukarya with the same kit. Considering these results, we suggested that the ZR Soil Microbe DNA Kit is the best adapted for the study of the microbial communities of corals.

Distribution patterns of a marsh vegetation metacommunity in relation to habitat configuration

The identification of the factors behind the distribution of plant communities in patched habitats may prove useful towards better understanding how ecosystems function. Plant assemblages are especially important for wetland productivity and provide food and habitat to animals. The present study analyses the distribution of a metacommunity of helophytes and phreatophytes in a wetland complex in oder to identify the effects of habitat configuration on the colonisation process. Ponds with wide vegetated shores and a short distance to a big (> 10 ha) wetland, had higher species richness. The average percentage of surface covered by each species in all the wetlands correlated positively with the number of patches occupied by that species. Moreover, the community presented a nested pattern (species-poor patches were subsets of species-rich patches), and this pattern came about by selective extinction and colonisation processes. We also detected the presence of some idiosyncratic species that did not follow nestedness. Conservation managers should attempt to maximise the vegetated shore width and to reduce the degree of isolation to enhance species richness. Furthermore, a single large and poorly isolated reserve may have the highest level of biodiversity in emergent vegetation species in this wetland complex, however, the particular ecological requirements of idiosyncratic species should also be taken into account when managing this type of community.

Impaired blood-brain/spinal cord barrier in ALS patients

Vascular pathology, including blood-brain/spinal cord barrier (BBB/BSCB) alterations, has recently been recognized as a key factor possibly aggravating motor neuron damage, identifying a neurovascular disease signature for ALS. However, BBB/BSCB competence in sporadic ALS (SALS) is still undetermined. In this study, BBB/BSCB integrity in postmortem gray and white matter of medulla and spinal cord tissue from SALS patients and controls was investigated. Major findings include (1) endothelial cell damage and pericyte degeneration, (2) severe intra- and extracellular edema, (3) reduced CD31 and CD105 expressions in endothelium, (4) significant accumulation of perivascular collagen IV, and fibrin deposits (5) significantly increased microvascular density in lumbar spinal cord, (6) IgG microvascular leakage, (7) reduced tight junction and adhesion protein expressions. Microvascular barrier abnormalities determined in gray and white matter of the medulla, cervical, and lumbar spinal cord of SALS patients are novel findings. Pervasive barrier damage discovered in ALS may have implications for disease pathogenesis and progression, as well as for uncovering novel therapeutic targets. (C) 2012 Elsevier B.V. All rights reserved.

Underlying Event measurements in pp collisions at root s=0.9 and 7 TeV with the ALICE experiment at the LHC

We present measurements of Underlying Event observables in pp collisions at root s = 0 : 9 and 7 TeV. The analysis is performed as a function of the highest charged-particle transverse momentum p(T),L-T in the event. Different regions are defined with respect to the azimuthal direction of the leading (highest transverse momentum) track: Toward, Transverse and Away. The Toward and Away regions collect the fragmentation products of the hardest partonic interaction. The Transverse region is expected to be most sensitive to the Underlying Event activity. The study is performed with charged particles above three different p(T) thresholds: 0.15, 0.5 and 1.0 GeV/c. In the Transverse region we observe an increase in the multiplicity of a factor 2-3 between the lower and higher collision energies, depending on the track p(T) threshold considered. Data are compared to PYTHIA 6.4, PYTHIA 8.1 and PHOJET. On average, all models considered underestimate the multiplicity and summed p(T) in the Transverse region by about 10-30%.

Impact of sunlight on the age of onset of bipolar disorder

Bauer M, Glenn T, Alda M, Andreassen OA, Ardau R, Bellivier F, Berk M, Bjella TD, Bossini L, Del Zompo M, Dodd S, Fagiolini A, Frye MA, Gonzalez-Pinto A, Henry C, Kapczinski F, Kliwicki S, Konig B, Kunz M, Lafer B, Lopez-Jaramillo C, Manchia M, Marsh W, Martinez-Cengotitabengoa M, Melle I, Morken G, Munoz R, Nery FG, ODonovan C, Pfennig A, Quiroz D, Rasgon N, Reif A, Rybakowski J, Sagduyu K, Simhandl C, Torrent C, Vieta E, Zetin M, Whybrow PC. Impact of sunlight on the age of onset of bipolar disorder. Bipolar Disord 2012: 14: 654663. (c) 2012 The Authors. Journal compilation (c) 2012 John Wiley & Sons A/S. Objective: Although bipolar disorder has high heritability, the onset occurs during several decades of life, suggesting that social and environmental factors may have considerable influence on disease onset. This study examined the association between the age of onset and sunlight at the location of onset. Method: Data were obtained from 2414 patients with a diagnosis of bipolar I disorder, according to DSM-IV criteria. Data were collected at 24 sites in 13 countries spanning latitudes 6.3 to 63.4 degrees from the equator, including data from both hemispheres. The age of onset and location of onset were obtained retrospectively, from patient records and/or direct interviews. Solar insolation data, or the amount of electromagnetic energy striking the surface of the earth, were obtained from the NASA Surface Meteorology and Solar Energy (SSE) database for each location of onset. Results: The larger the maximum monthly increase in solar insolation at the location of onset, the younger the age of onset (coefficient= -4.724, 95% CI: -8.124 to -1.323, p = 0.006), controlling for each countrys median age. The maximum monthly increase in solar insolation occurred in springtime. No relationships were found between the age of onset and latitude, yearly total solar insolation, and the maximum monthly decrease in solar insolation. The largest maximum monthly increases in solar insolation occurred in diverse environments, including Norway, arid areas in California, and Chile. Conclusion: The large maximum monthly increase in sunlight in springtime may have an important influence on the onset of bipolar disorder.

Inactivation of the putative suppressor gene DOK1 by promoter hypermethylation in primary human cancers

The DOK1 gene is a putative tumour suppressor gene located on the human chromosome 2p13 which is frequently rearranged in leukaemia and other human tumours. We previously reported that the DOK1 gene can be mutated and its expression down-regulated in human malignancies. However, the mechanism underlying DOK1 silencing remains largely unknown. We show here that unscheduled silencing of DOK1 expression through aberrant hypermethylation is a frequent event in a variety of human malignancies. DOK1 was found to be silenced in nine head and neck cancer (HNC) cell lines studied and DOK1 CpG hypermethylation correlated with loss of gene expression in these cells. DOK1 expression could be restored via demethylating treatment using 5-aza-2'deoxycytidine. In addition, transduction of cancer cell lines with DOK1 impaired their proliferation, consistent with the critical role of epigenetic silencing of DOK1 in the development and maintenance of malignant cells. We further observed that DOK1 hypermethylation occurs frequently in a variety of primary human neoplasm including solid tumours (93% in HNC, 81% in lung cancer) and haematopoietic malignancy (64% in Burkitt's lymphoma). Control blood samples and exfoliated mouth epithelial cells from healthy individuals showed a low level of DOK1 methylation, suggesting that DOK1 hypermethylation is a tumour specific event. Finally, an inverse correlation was observed between the level of DOK1 gene methylation and its expression in tumour and adjacent non tumour tissues. Thus, hypermethylation of DOK1 is a potentially critical event in human carcinogenesis, and may be a potential cancer biomarker and an attractive target for epigenetic-based therapy.

THE FIRST DETERMINATION OF THE VISCOSITY PARAMETER IN THE CIRCUMSTELLAR DISK OF A Be STAR

Be stars possess gaseous circumstellar decretion disks, which are well described using standard alpha-disk theory. The Be star 28 CMa recently underwent a long outburst followed by a long period of quiescence, during which the disk dissipated. Here we present the first time-dependent models of the dissipation of a viscous decretion disk. By modeling the rate of decline of the V-band excess, we determine that the viscosity parameter alpha = 1.0 +/- 0.2, corresponding to a mass injection rate (M) over dot = (3.5 +/- 1.3) x 10(-8) M-circle dot yr(-1). Such a large value of a suggests that the origin of the turbulent viscosity is an instability in the disk whose growth is limited by shock dissipation. The mass injection rate is more than an order of magnitude larger than the wind mass-loss rate inferred from UV observations, implying that the mass injection mechanism most likely is not the stellar wind, but some other mechanism.