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.

Dependence of Generation-Recombination Noise With Gate Voltage in FD SOI MOSFETs

A model for computing the generation-recombination noise due to traps within the semiconductor film of fully depleted silicon-on-insulator MOSFET transistors is presented. Dependence of the corner frequency of the Lorentzian spectra on the gate voltage is addressed in this paper, which is different to the constant behavior expected for bulk transistors. The shift in the corner frequency makes the characterization process easier. It helps to identify the energy position, capture cross sections, and densities of the traps. This characterization task is carried out considering noise measurements of two different candidate structures for single-transistor dynamic random access memory devices.

A chemical-loop approach for the generation of hydrogen by means of ethanol reforming

The work investigates the feasibility of a new process aimed at the production of hydrogen with inherent separation of carbon oxides. The process consists in a cycle in which, in the first step, a mixed metal oxide is reduced by ethanol (obtained from biomasses). The reduced metal is then contacted with steam in order to split the water and sequestrating the oxygen into the looping material’s structure. The oxides used to run this thermochemical cycle, also called “steam-iron process” are mixed ferrites in the spinel structure MeFe2O4 (Me = Fe, Co, Ni or Cu). To understand the reactions involved in the anaerobic reforming of ethanol, diffuse reflectance spectroscopy (DRIFTS) was used, coupled with the mass analysis of the effluent, to study the surface composition of the ferrites during the adsorption of ethanol and its transformations during the temperature program. This study was paired with the tests on a laboratory scale plant and the characterization through various techniques such as XRD, Mössbauer spectroscopy, elemental analysis... on the materials as synthesized and at different reduction degrees In the first step it was found that besides the generation of the expected CO, CO2 and H2O, the products of ethanol anaerobic oxidation, also a large amount of H2 and coke were produced. The latter is highly undesired, since it affects the second step, during which water is fed over the pre-reduced spinel at high temperature. The behavior of the different spinels was affected by the nature of the divalent metal cation; magnetite was the oxide showing the slower rate of reduction by ethanol, but on the other hand it was that one which could perform the entire cycle of the process more efficiently. Still the problem of coke formation remains the greater challenge to solve.

Domain-Specific Program Checking

Lint-like program checkers are popular tools that ensure code quality by verifying compliance with best practices for a particular programming language. The proliferation of internal domain-specific languages and models, however, poses new challenges for such tools. Traditional program checkers produce many false positives and fail to accurately check constraints, best practices, common errors, possible optimizations and portability issues particular to domain-specific languages. We advocate the use of dedicated rules to check domain-specific practices. We demonstrate the implementation of domain-specific rules, the automatic fixing of violations, and their application to two case-studies: (1) Seaside defines several internal DSLs through a creative use of the syntax of the host language; and (2) Magritte adds meta-descriptions to existing code by means of special methods. Our empirical validation demonstrates that domain-specific program checking significantly improves code quality when compared with general purpose program checking.

Spy: A Flexible Code Profiling Framework

Code profiling is an essential activity to increase software quality. It is commonly employed in a wide variety of tasks, such as supporting program comprehension, determining execution bottlenecks, and assessing code coverage by unit tests. Spy is an innovative framework to easily build profilers and visualize profiling information. The profiling information is obtained by inserting dedicated code before or after method execution. The gathered profiling information is structured in line with the application structure in terms of packages, classes, and methods. Spy has been instantiated on four occasions so far. We created profilers dedicated to test coverage, time execution, type feedback, and profiling evolution across version. We also integrated Spy in the Pharo IDE. Spy has been implemented in the Pharo Smalltalk programming language and is available under the MIT license.

Future value based single assignment program representations and optimizations

An optimizing compiler internal representation fundamentally affects the clarity, efficiency and feasibility of optimization algorithms employed by the compiler. Static Single Assignment (SSA) as a state-of-the-art program representation has great advantages though still can be improved. This dissertation explores the domain of single assignment beyond SSA, and presents two novel program representations: Future Gated Single Assignment (FGSA) and Recursive Future Predicated Form (RFPF). Both FGSA and RFPF embed control flow and data flow information, enabling efficient traversal program information and thus leading to better and simpler optimizations. We introduce future value concept, the designing base of both FGSA and RFPF, which permits a consumer instruction to be encountered before the producer of its source operand(s) in a control flow setting. We show that FGSA is efficiently computable by using a series T1/T2/TR transformation, yielding an expected linear time algorithm for combining together the construction of the pruned single assignment form and live analysis for both reducible and irreducible graphs. As a result, the approach results in an average reduction of 7.7%, with a maximum of 67% in the number of gating functions compared to the pruned SSA form on the SPEC2000 benchmark suite. We present a solid and near optimal framework to perform inverse transformation from single assignment programs. We demonstrate the importance of unrestricted code motion and present RFPF. We develop algorithms which enable instruction movement in acyclic, as well as cyclic regions, and show the ease to perform optimizations such as Partial Redundancy Elimination on RFPF.

Query Technologies and Applications for Program Comprehension

Industrial software systems are large and complex, both in terms of the software entities and their relationships. Consequently, understanding how a software system works requires the ability to pose queries over the design-level entities of the system. Traditionally, this task has been supported by simple tools (e.g., grep) combined with the programmer's intuition and experience. Recently, however, specialized code query technologies have matured to the point where they can be used in industrial situations, providing more intelligent, timely, and efficient responses to developer queries. This working session aims to explore the state of the art in code query technologies, and discover new ways in which these technologies may be useful in program comprehension. The session brings together researchers and practitioners. We survey existing techniques and applications, trying to understand the strengths and weaknesses of the various approaches, and sketch out new frontiers that hold promise.

Long-term outcomes of patients receiving zotarolimus-eluting stents in ST elevation myocardial infarction, non-ST elevation acute coronary syndrome, and stable angina: data from the Resolute program

BACKGROUND Outcome data are limited in patients with ST-segment elevation acute myocardial infarction (STEMI) or other acute coronary syndromes (ACSs) who receive a drug-eluting stent (DES). Data suggest that first generation DES is associated with an increased risk of stent thrombosis when used in STEMI. Whether this observation persists with newer generation DES is unknown. The study objective was to analyze the two-year safety and effectiveness of Resolute™ zotarolimus-eluting stents (R-ZESs) implanted for STEMI, ACS without ST segment elevation (non-STEACS), and stable angina (SA). METHODS Data from the Resolute program (Resolute All Comers and Resolute International) were pooled and patients with R-ZES implantation were categorized by indication: STEMI (n=335), non-STEACS (n=1416), and SA (n=1260). RESULTS Mean age was 59.8±11.3 years (STEMI), 63.8±11.6 (non-STEACS), and 64.9±10.1 (SA). Fewer STEMI patients had diabetes (19.1% vs. 28.5% vs. 29.2%; P<0.001), prior MI (11.3% vs. 27.2% vs. 29.4%; P<0.001), or previous revascularization (11.3% vs. 27.9% vs. 37.6%; P<0.001). Two-year definite/probable stent thrombosis occurred in 2.4% (STEMI), 1.2% (non-STEACS) and 1.1% (SA) of patients with late/very late stent thrombosis (days 31-720) rates of 0.6% (STEMI and non-STEACS) and 0.4% (SA) (P=NS). The two-year mortality rate was 2.1% (STEMI), 4.8% (non-STEACS) and 3.7% (SA) (P=NS). Death or target vessel re-infarction occurred in 3.9% (STEMI), 8.7% (non-STEACS) and 7.3% (SA) (P=0.012). CONCLUSION R-ZES in STEMI and in other clinical presentations is effective and safe. Long term outcomes are favorable with an extremely rare incidence of late and very late stent thrombosis following R-ZES implantation across indications.

Reducing liver cancer disparities: a community-based hepatitis-B prevention program for Asian-American communities

OBJECTIVES: Several Asian-American groups are at a higher risk of dying of liver diseases attributable to hepatitis-B infection. This culturally diverse community should be well informed of and protected against liver diseases. The present study assesses the knowledge of hepatitis B before and after a hepatitis-B educational program and determines the infection status of an Asian community. METHODS: Nine Asian communities of Montgomery County, MD, enrolled in the hepatitis-B prevention program between 2005 and 2006. They attended culturally tailored lectures on prevention, completed self-administered pre- and posttests, and received blood screening for the disease. RESULTS: More than 800 Asian Americans participated in the study. Knowledge of prevention was improved after educational delivery. The average infection rate was 4.5%, with Cambodian, Thai, Vietnamese, Chinese and Korean groups having higher infection rates. The age group of 36-45 had the highest percentage of carriers (9.1%). CONCLUSION: Many Asian groups, particularly those of a southeast Asian decent, were subject to a higher probability of hepatitis-B infection. At an increased risk are first-generation Asian immigrants, groups with low immunization rates and those aged 36-45. The findings provide potential directions for focusing preventive interventions on at-risk Asian communities to reduce liver cancer disparities.

Code-switching: a touchstone of models of bilingual language production

The goal of the present thesis was to investigate the production of code-switched utterances in bilinguals’ speech production. This study investigates the availability of grammatical-category information during bilingual language processing. The specific aim is to examine the processes involved in the production of Persian-English bilingual compound verbs (BCVs). A bilingual compound verb is formed when the nominal constituent of a compound verb is replaced by an item from the other language. In the present cases of BCVs the nominal constituents are replaced by a verb from the other language. The main question addressed is how a lexical element corresponding to a verb node can be placed in a slot that corresponds to a noun lemma. This study also investigates how the production of BCVs might be captured within a model of BCVs and how such a model may be integrated within incremental network models of speech production. In the present study, both naturalistic and experimental data were used to investigate the processes involved in the production of BCVs. In the first part of the present study, I collected 2298 minutes of a popular Iranian TV program and found 962 code-switched utterances. In 83 (8%) of the switched cases, insertions occurred within the Persian compound verb structure, hence, resulting in BCVs. As to the second part of my work, a picture-word interference experiment was conducted. This study addressed whether in the case of the production of Persian-English BCVs, English verbs compete with the corresponding Persian compound verbs as a whole, or whether English verbs compete with the nominal constituents of Persian compound verbs only. Persian-English bilinguals named pictures depicting actions in 4 conditions in Persian (L1). In condition 1, participants named pictures of action using the whole Persian compound verb in the context of its English equivalent distractor verb. In condition 2, only the nominal constituent was produced in the presence of the light verb of the target Persian compound verb and in the context of a semantically closely related English distractor verb. In condition 3, the whole Persian compound verb was produced in the context of a semantically unrelated English distractor verb. In condition 4, only the nominal constituent was produced in the presence of the light verb of the target Persian compound verb and in the context of a semantically unrelated English distractor verb. The main effect of linguistic unit was significant by participants and items. Naming latencies were longer in the nominal linguistic unit compared to the compound verb (CV) linguistic unit. That is, participants were slower to produce the nominal constituent of compound verbs in the context of a semantically closely related English distractor verb compared to producing the whole compound verbs in the context of a semantically closely related English distractor verb. The three-way interaction between version of the experiment (CV and nominal versions), linguistic unit (nominal and CV linguistic units), and relation (semantically related and unrelated distractor words) was significant by participants. In both versions, naming latencies were longer in the semantically related nominal linguistic unit compared to the response latencies in the semantically related CV linguistic unit. In both versions, naming latencies were longer in the semantically related nominal linguistic unit compared to response latencies in the semantically unrelated nominal linguistic unit. Both the analysis of the naturalistic data and the results of the experiment revealed that in the case of the production of the nominal constituent of BCVs, a verb from the other language may compete with a noun from the base language, suggesting that grammatical category does not necessarily provide a constraint on lexical access during the production of the nominal constituent of BCVs. There was a minimal context in condition 2 (the nominal linguistic unit) in which the nominal constituent was produced in the presence of its corresponding light verb. The results suggest that generating words within a context may not guarantee that the effect of grammatical class becomes available. A model is proposed in order to characterize the processes involved in the production of BCVs. Implications for models of bilingual language production are discussed.

Element concentrations of plagioclase and clinopyroxene in poikilitic olivine gabbros from ODP Hole 153-923A (Table 4)

Ocean Drilling Program Hole 923A, located on the western flank of the Mid-Atlantic Ridge south of the Kane Fracture Zone, recovered primitive gabbros that have mineral trace element compositions inconsistent with growth from a single parental melt. Plagioclase crystals commonly show embayed anorthitic cores overgrown by more albitic rims. Ion probe analyses of plagioclase cores and rims show consistent differences in trace element ratios, indicating variation in the trace element characteristics of their respective parental melts. This requires the existence of at least two distinct melt compositions within the crust during the generation of these gabbros. Melt compositions calculated to be parental to plagioclase cores are depleted in light rare earth elements, but enriched in yttrium, compared to basalts from this region of the Mid-Atlantic Ridge, which are normal mid-ocean ridge basalt (N-MORB). Clinopyroxene trace element compositions are similar to those predicted to be in equilibrium with N-MORB. However, primitive clinopyroxene crystals are much more magnesian than those produced in one-atmosphere experiments on N-MORB, suggesting that the major element composition of the melt was unlike N-MORB. These data require that the diverse array of melt compositions generated within the mantle beneath mid-ocean ridges are not always fully homogenised during melt extraction from the mantle and that the final stage of mixing can occur efficiently within crustal magma chambers. This has implications for the process of melt extraction from the mantle and the liquid line of descent of MORB

Sedimentation rate calculations and isotopic analysis on sediment cores along the IODP Expedition 311 transect

The oceanographic and tectonic conditions of accretionary margins are well-suited for several potential processes governing methane generation, storage and release. To identify the relevant methane evolution pathways in the northern Cascadia accretionary margin, a four-site transect was drilled during Integrated Ocean Drilling Program Expedition 311. The d13C values of methane range from a minimum value of -82.2 per mil on an uplifted ridge of accreted sediment near the deformation front (Site U1326, 1829 mbsl, meters below sea level) to a maximum value of -39.5 per mil at the most landward location within an area of steep canyons near the shelf edge (Site U1329, 946 mbsl). An interpretation based solely on methane isotope values might conclude the 13C-enrichment of methane indicates a transition from microbially- to thermogenically-sourced methane. However, the co-existing CO2 exhibits a similar trend of 13C-enrichment along the transect with values ranging from -22.5 per mil to +25.7 per mil. The magnitude of the carbon isotope separation between methane and CO2 (Ec = 63.8 ± 5.8) is consistent with isotope fractionation during microbially mediated carbonate reduction. These results, in conjunction with a transect-wide gaseous hydrocarbon content composed of > 99.8% (by volume) methane and uniform dDCH4 values (-172 per mil ± 8) that are distinct from thermogenic methane at a seep located 60 km from the Expedition 311 transect, suggest microbial CO2 reduction is the predominant methane source at all investigated sites. The magnitude of the intra-site downhole 13C-enrichment of CO2 within the accreted ridge (Site U1326) and a slope basin nearest the deformation front (Site U1325, 2195 mbsl) is ~ 5 per mil. At the mid-slope site (Site U1327, 1304 mbsl) the downhole 13C-enrichment of the CO2 is ~ 25 per mil and increases to ~ 40 per mil at the near-shelf edge Site U1329. This isotope fractionation pattern is indicative of more extensive diagenetic alteration at sites with greater 13C-enrichment. The magnitude of the 13C-enrichment of CO2 correlates with decreasing sedimentation rates and a diminishing occurrence of stratigraphic gas hydrate. We suggest the decreasing sedimentation rates increase the exposure time of sedimentary organic matter to aerobic and anaerobic degradation, during burial, thereby reducing the availability of metabolizable organic matter available for methane production. This process is reflected in the occurrence and distribution of gas hydrate within the northern Cascadia margin accretionary prism. Our observations are relevant for evaluating methane production and the occurrence of stratigraphic gas hydrate within other convergent margins.

Hydrocarbon gases in Tertiary and Quaternary sediments offshore Peru

Hydrocarbon gases (methane, ethane, propane, isobutane, n-butane, ethene, and propene) are present in Tertiary and Quaternary shelf, upper-slope, and lower-slope deposits of the Peruvian continental margin. Methane dominates the composition of the hydrocarbon gas at all 10 sites examined during Ocean Drilling Program (ODP) Leg 112. Generation of methane is regulated by the amount of sulfate in pore water. Wherever sulfate concentrations approach or equal zero, methane concentrations increase rapidly, reaching values near 100,000 µL/L of wet sediment at eight of the 10 sites. Methane at all 10 sites results from methanogenesis, which is inhibited where sulfate is present and microbial reduction of sulfate occurs. Hydrocarbon gases heavier than methane also are present, but at much lower concentrations than methane. These hydrocarbons are thought to result from early thermal and microbial diagenesis, based on relative gas compositions and trends of concentrations with depth. With few exceptions, the results obtained in the shipboard and shore-based laboratories are comparable for methane and ethane in sediments of Leg 112. Reanalyses of canned sediments from ODP Leg 104 and from Deep Sea Drilling Project (DSDP) Legs 76 and 84 show that gas samples can be stored for as long as 8 yr, but the amounts of individual hydrocarbon gases retained vary. Nevertheless, the trends of the data sets with depth are similar for fresh and stored samples.

Total organic carbon content and isorenieratene concentrations from three holes of ODP Leg 160

Carotenoids were analysed in ca. 1-cm thick subsamples of three laterally time-equivalent sapropels from a west-east transect of the eastern Mediterranean Basin to study euxinic periods during Pliocene sapropel formation. The amount of intact isorenieratene (summed all-trans and cis isomers), ranged from non-detectable at the base and top of a sapropel up to 140 µg/g sediment in the central parts. Isorenieratene accumulation rates at the central and western site are remarkably similar and increase sharply to levels of up to 3.0 mg/m**2/ yr in the central part of the sapropel and then drop to low levels. This pattern indicates an expansion of euxinic conditions reaching into the photic zone, followed by deepening of the chemocline during deposition of this Pliocene sapropel. The sapropel from the easternmost site of the basin, which contains less organic carbon, shows much lower isorenieratene accumulation rates and even absence of isorenieratene in the central part of the sapropel. Ba/Al ratios indicate enhanced palaeoproductivity during sapropel formation, supporting previously proposed models, according to which increased productivity is the driving force for the generation of euxinic conditions.

Fecal pellets flux at DYFAMED sediment traps

Because zooplankton feces represent a potentially important transport pathway of surface-derived organic carbon in the ocean, we must understand the patterns of fecal pellet abundance and carbon mobilization over a variety of spatial and temporal scales. To assess depth-specific water column variations of fecal pellets on a seasonal scale, vertical fluxes of zooplankton fecal pellets were quantified and their contribution to mass and particulate carbon were computed during 1990 at 200, 500, 1000, and 2000 m depths in the open northwestern Mediterranean Sea as part of the French-JGOFS DYFAMED Program. Depth-averaged daily fecal pellet flux was temporally variable, ranging from 3.04 * 10**4 pellets m**2/d in May to a low of 6.98 * 10**2 pellets m**2/d in September. The peak flux accounted for 50% of the integrated annual flux of fecal pellets and 62% of pellet carbon during only two months in mid-spring (April and May). Highest numerical fluxes were encountered at 1000 m, suggesting fecal pellet generation well below the euphotic zone. However, there was a trend toward lower pellet carbon with increasing depth, suggesting bacterial degradation or in situ repackaging as pellets sink through the water column. At 500 m, both the lowest pellet numerical abundance and carbon flux were evident during the spring peak. Combined with data indicating that numerical and carbon fluxes are dominated at 500 m by a distinct type of pellet found uniquely at this depth, these trends suggest the presence of an undescribed mid-water macro-zooplankton or micro-nekton community. Fecal pellet carbon flux was highest at 200 m and varied with depth independently of overall particulate carbon, which was greatest at 500 m. Morphologically distinct types of pellets dominated the numerical and carbon fluxes. Small elliptical and spherical pellets accounted for 88% of the numerical flux, while larger cylindrical pellets, although relatively rare (<10%), accounted for almost 40% of the overall pellet carbon flux. Cylindrical pellets dominated the pellet carbon flux at all depths except 500 m, where a large subtype of elliptical pellet, found only at that depth, was responsible for the majority of pellet carbon flux. Overall during 1990, fecal pellets were responsible for a depth-integrated annual average flux of 1.03 mgC/m**2/d, representing 18% of the total carbon flux. The proportion of vertical carbon flux attributed to fecal pellets varied from 3 to 35%, with higher values occurring during periods when the water column was vertically mixed. Especially during these times, fecal pellets are a critical conveyor of carbon to the deep sea in this region.