A Binary Classifier for Test Case Feasibility Applied to Automatically Generated Tests of Event-Driven Software

Modern software application testing, such as the testing of software driven by graphical user interfaces (GUIs) or leveraging event-driven architectures in general, requires paying careful attention to context. Model-based testing (MBT) approaches first acquire a model of an application, then use the model to construct test cases covering relevant contexts. A major shortcoming of state-of-the-art automated model-based testing is that many test cases proposed by the model are not actually executable. These \textit{infeasible} test cases threaten the integrity of the entire model-based suite, and any coverage of contexts the suite aims to provide. In this research, I develop and evaluate a novel approach for classifying the feasibility of test cases. I identify a set of pertinent features for the classifier, and develop novel methods for extracting these features from the outputs of MBT tools. I use a supervised logistic regression approach to obtain a model of test case feasibility from a randomly selected training suite of test cases. I evaluate this approach with a set of experiments. The outcomes of this investigation are as follows: I confirm that infeasibility is prevalent in MBT, even for test suites designed to cover a relatively small number of unique contexts. I confirm that the frequency of infeasibility varies widely across applications. I develop and train a binary classifier for feasibility with average overall error, false positive, and false negative rates under 5\%. I find that unique event IDs are key features of the feasibility classifier, while model-specific event types are not. I construct three types of features from the event IDs associated with test cases, and evaluate the relative effectiveness of each within the classifier. To support this study, I also develop a number of tools and infrastructure components for scalable execution of automated jobs, which use state-of-the-art container and continuous integration technologies to enable parallel test execution and the persistence of all experimental artifacts.

The influence of past behavior on future behavior: a mind-set perspective

A behavioral mind-set refers to the effect of performing a behavior in one situation (e.g., deciding which animals jump higher, dolphins or sea lions) on the likelihood of performing a conceptually similar behavior in subsequent, unrelated situations (e.g., deciding which of two candies to purchase). It reflects the activation and persistence of procedural knowledge. My dissertation circumscribes the construct of a behavioral mind-set and proposes a theoretical framework describing how mind-sets operate as well as their cognitive and motivational determinants. Three sets of studies investigated the role of mind-sets in different domains. The first set of studies explored the influence of making comparative judgments on subsequent decision making. Specifically, I found that making comparative judgment in one situation activates a which-to-buy mind-set that increases the willingness to decide which of two products to purchase in a later situation without considering the option of not buying anything at all. This mind-set can be activated not only by stating preferences for one of two products but also by comparing the relative attractiveness of wild animals, comparing the animals with respect to physical attributes, and estimating how similar one object is to another. Furthermore, the mind-set, once activated, influences not only purchase intentions in hypothetical situations but the actual decisions to purchase one of different types of products that are on sale after the experiment. The second set of studies investigated whether generating supportive elaborations or counterarguments in one situation will influence people’s tendency to engage in similar behavior in a subsequent, unrelated situation. I found that making supportive elaborations in one situation gives rise to a bolstering mind-set that, once activated, increases participants’ disposition to generate supportive thoughts in response to persuasive communications that they receive later and, therefore, increases the effectiveness of persuasion. Correspondingly, generating opposing arguments in an initial situation activates a counterarguing mind-set that increases the tendency to argue against the persuasive communications and decreases its effectiveness. However, a counterarguing mind-set may increase the effectiveness of persuasion if the messages are difficult to be refuted. The third set of studies distinguished between the influence of motivation on consumer behavior and the influence of a mind-set that is activated by this motivation. Specifically, I found that appetitive motivation, which naturally increases people’s tendency to acquire food products, can give rise to a cognition-based acquisition mind-set that increases people’s disposition to acquire non-food products as well. This acquisition mind-set may persist even when the appetitive motivation that gave rise to it is satiated by eating. Moreover, the disposition to acquire non-food products is not mediated by the products’ attractiveness. The studies suggest that motivation and mind-sets may independently influence consumers’ evaluation of a product and their dispositions to acquire it. Motivation is more likely to influence product evaluations whereas a mind-set is more likely to influence consumers’ acquisition dispositions. In summary, a behavioral mind-set can be activated in the process of performing a behavior. And the mind-set may influence people’s subsequent behaviors in unrelated situations in which the activated procedure is applicable. Moreover, motivation to engage in one behavior could also elicit a cognition-based mind-set, which may change people’s subsequent behaviors.

Ecological drivers of a vector borne pathogen: distribution and abundance of Borrelia burgdorferi sensu lato and its vector Ixodes ricinus in Scotland

Vector-borne disease emergence in recent decades has been associated with different environmental drivers including changes in habitat, hosts and climate. Lyme borreliosis is among the most important vector-borne diseases in the Northern hemisphere and is an emerging disease in Scotland. Transmitted by Ixodid tick vectors between large numbers of wild vertebrate host species, Lyme borreliosis is caused by bacteria from the Borrelia burgdorferi sensu lato species group. Ecological studies can inform how environmental factors such as host abundance and community composition, habitat and landscape heterogeneity contribute to spatial and temporal variation in risk from B. burgdorferi s.l. In this thesis a range of approaches were used to investigate the effects of vertebrate host communities and individual host species as drivers of B. burgdorferi s.l. dynamics and its tick vector Ixodes ricinus. Host species differ in reservoir competence for B. burgdorferi s.l. and as hosts for ticks. Deer are incompetent transmission hosts for B. burgdorferi s.l. but are significant hosts of all life-stages of I. ricinus. Rodents and birds are important transmission hosts of B. burgdorferi s.l. and common hosts of immature life-stages of I. ricinus. In this thesis, surveys of woodland sites revealed variable effects of deer density on B. burgdorferi prevalence, from no effect (Chapter 2) to a possible ‘dilution’ effect resulting in lower prevalence at higher deer densities (Chapter 3). An invasive species in Scotland, the grey squirrel (Sciurus carolinensis), was found to host diverse genotypes of B. burgdorferi s.l. and may act as a spill-over host for strains maintained by native host species (Chapter 4). Habitat fragmentation may alter the dynamics of B. burgdorferi s.l. via effects on the host community and host movements. In this thesis, there was lack of persistence of the rodent associated genospecies of B. burgdorferi s.l. within a naturally fragmented landscape (Chapter 3). Rodent host biology, particularly population cycles and dispersal ability are likely to affect pathogen persistence and recolonization in fragmented habitats. Heterogeneity in disease dynamics can occur spatially and temporally due to differences in the host community, habitat and climatic factors. Higher numbers of I. ricinus nymphs, and a higher probability of detecting a nymph infected with B. burgdorferi s.l., were found in areas with warmer climates estimated by growing degree days (Chapter 2). The ground vegetation type associated with the highest number of I. ricinus nymphs varied between studies in this thesis (Chapter 2 & 3) and does not appear to be a reliable predictor across large areas. B. burgdorferi s.l. prevalence and genospecies composition was highly variable for the same sites sampled in subsequent years (Chapter 2). This suggests that dynamic variables such as reservoir host densities and deer should be measured as well as more static habitat and climatic factors to understand the drivers of B. burgdorferi s.l. infection in ticks. Heterogeneity in parasite loads amongst hosts is a common finding which has implications for disease ecology and management. Using a 17-year data set for tick infestations in a wild bird community in Scotland, different effects of age and sex on tick burdens were found among four species of passerine bird (Chapter 5). There were also different rates of decline in tick burdens among bird species in response to a long term decrease in questing tick pressure over the study. Species specific patterns may be driven by differences in behaviour and immunity and highlight the importance of comparative approaches. Combining whole genome sequencing (WGS) and population genetics approaches offers a novel approach to identify ecological drivers of pathogen populations. An initial analysis of WGS from B. burgdorferi s.s. isolates sampled 16 years apart suggests that there is a signal of measurable evolution (Chapter 6). This suggests demographic analyses may be applied to understand ecological and evolutionary processes of these bacteria. This work shows how host communities, habitat and climatic factors can affect the local transmission dynamics of B. burgdorferi s.l. and the potential risk of infection to humans. Spatial and temporal heterogeneity in pathogen dynamics poses challenges for the prediction of risk. New tools such as WGS of the pathogen (Chapter 6) and blood meal analysis techniques will add power to future studies on the ecology and evolution of B. burgdorferi s.l.

From physics to metaphysics: philosophy and style in the critical writings of T. S. Eliot (1913-1935)

This thesis considers Eliot's critical writing from the late 1910s till the mid-1930s, in the light of his PhD thesis - Knowledge and Experience in the Philosophy of F. H. Bradley - and a range of unpublished material: T S. Eliot's Philosophical Essays and Notes (1913- 4) in the Hayward Bequest (King's College, Cambridge University); T. S. Eliot's Family Papers in the T. S. Eliot Collection at the Houghton Library (Harvard University); and items from the Harvard University Archives at the Pusey Library. 'Me thesis offers a comprehensive view of Eliot's critical development throughout this important period. It starts by considering The Sacred Wood's ambivalence towards the metaphysical philosophy of F. H. Bradley and Eliot's apparent adoption of a scientific method, under the influence of Bertrand Russell. It will be argued that Eliot uses rhetorical strategies which simultaneously subvert the method he is propounding, and which set the tone for an assessment of his criticism throughout the 1920s. His indecision, in this period, about the label 'Metaphysical' for some poets of the seventeenth century, reveals the persistence of the philosophical thought he apparently rejects in 1916, when he chooses not to pursue a career in philosophy in Harvard. This rhetorical tactic achieves its fulfilment in Dante (1929), where Eliot finds a model in the medieval allegorical method and 'philosophical' poetry. Allegory is also examined in connection with the evaluation of Eliot's critical writings themselves to determine, for instance, the figurative dimension of his early scientific vocabulary and uncover metaphysical residues he had explicitly disowned but would later embrace. Finally, it is suggested that, the hermeneutics of allegory are historical and it is used here to test the relationship between Eliot's early and later critical writings, that is the early physics and the later metaphysics.

Girls’ education in Djibouti: an holistic approach in response to the ideolog y of development

International audience

A study on the effect of functional distribution of income on aggregate demand

In this thesis, we study the causal relationship between functional distribution of income and economic growth. In particular, we focus on some of the aspects that might alter the effect of the profit share on growth. After a brief introduction and literature review, the empirical contributions will be presented in Chapters 3,4 and 5. Chapter 3 analyses the effect of a contemporaneous decrease in the wage share among countries that are major trade partners. Falling wage share and wage moderation are a global phenomenon which are hardly opposed by governments. This is because lower wages are associated with lower export prices and, therefore, have a positive effect on net-exports. There is, however, a fallacy of composition problem: not all countries can improve their balance of payments contemporaneously. Studying the country members of the North America Free Trade Agreement, we find that the effect on export of a contemporaneous decrease in the wage share in Mexico, Canada and the United States, is negative in all countries. In other words, the competitive advantage that each country gains because of a reduction in its wage share (to which is associated a decrease in export prices), is offset by a contemporaneous increase in competitiveness in the other two countries. Moreover, we find that NAFTA is overall wage-led: the profit share has a negative effect on aggregate demand. Chapter 4 tests whether it is possible that the effect of the profit share on growth is different in the long run and in the short run. Following Blecker (2014) our hypothesis is that in the short run the growth regime is less wage-led than it is in the long run. The results of our empirical investigation support this hypothesis, at least for the United States over the period 1950-2014. The effect of wages on consumption increases more than proportionally compared to the effect of profits on consumption from the short to the long run. Moreover, consumer debt seem to have only a short-run effect on consumption indicating that in the long run, when debt has to be repaid, consumption depends more on the level of income and on how it is distributed. Regarding investment, the effect of capacity utilization is always larger than the effect of the profit share and that the difference between the two effects is higher in the long run than in the short run. This confirms the hypothesis that in the long run, unless there is an increase in demand, it is likely that firms are not going to increase investments even in the presence of high profits. In addition, the rentier share of profits – that comprises dividends and interest payments – has a long-run negative effect on investment. In the long run rentiers divert firms’ profits from investment and, therefore, it weakens the effect of profits on investment. Finally, Chapter 5 studies the possibility of structural breaks in the relationship between functional distribution of income and growth. We argue that, from the 1980s, financialization and the European exchange rate agreements weakened the positive effect of the profit share on growth in Italy. The growth regime is therefore becoming less profit-led and more wage-led. Our results confirm this hypothesis and also shed light on the concept of cooperative and conflictual regimes as defined by Bhaduri and Marglin (1990).

Genetic Diversity of Oilseed Rape Fields and Feral Populations in the Context of Coexistence with GM Crops

Despite growing concern about transgenes escaping from fields, few studies have analysed the genetic diversity of crops in an agroecosystem over several years. Accurate information about the dynamics and relationship of the genetic diversity of crops in an agroecosystem is essential for risk assessment and policies concerning the containment of genetically modified crops and their coexistence with crops grown by conventional practices. Here, we analysed the genetic diversity of oilseed rape plants from fields and feral populations over 4 years in an agricultural landscape of 41 km2. We used exact compatibility and maximum likelihood assignment methods to assign these plants to cultivars. Even pure lines and hybrid cultivar seed lots contained several genotypes. The cultivar diversity in fields reflected the conventional view of agroecosystems quite well: that is, there was a succession of cultivars, some grown for longer than others because of their good performance, some used for one year and then abandoned, and others gradually adopted. Three types of field emerged: fields sown with a single cultivar, fields sown with two cultivars, and unassigned fields (too many cultivars or unassigned plants to reliably assign the field). Field plant diversity was higher than expected, indicating the persistence of cultivars that were grown for only one year. The cultivar composition of feral populations was similar to that of field plants, with an increasing number of cultivars each year. By using genetic tools, we found a link between the cultivars of field plants in a particular year and the cultivars of feral population plants in the following year. Feral populations on road verges were more diverse than those on path verges. All of these findings are discussed in terms of their consequences in the context of coexistence with genetically modified crops.

Spread of Phlebotominae in temperate climates: province of Córdoba, Argentina

We report the presence of the competent vector for Leishmania spp, Migonemyia migonei, and the Evandromyia cortelezzii-sallesi complex south of its known distribution in the central temperate region of Argentina, in the province of Córdoba. The persistence of this phlebotomine in the northern border of the province, its association with a case of cutaneous leishmaniasis, and the new record in the outskirts of the city of Córdoba, the second most populated in the country, strengthens the need for regular vector surveillance and a case detection-sensitive health system in vulnerable regions, even in temperate climates.

Abundance of Lutzomyia longipalpis in urban households as risk factor of transmission of visceral leishmaniasis

Urban occurrence of human and canine visceral leishmaniasis (VL) is linked to households with characteristics conducive to the presence of sand flies. This study proposes an ad hoc classification of households according to the environmental characteristics of receptivity to phlebotominae and an entomological study to validate the proposal. Here we describe the phlebotominae population found in intra- and peridomiciliary environments and analyse the spatiotemporal distribution of the VL vector Lutzomyia longipalpis of households receptive to VL. In the region, 153 households were classified into levels of receptivity to VL followed by entomological surveys in 40 of those properties. Kruskal-Wallis verified the relationship between the households’ classification and sand fly abundance and Kernel analysis evaluated L. longipalpis spatial distribution: of the 740 sand flies were captured, 91% were L. longipalpis; 82% were found peridomiciliary whilst the remaining 18% were found intradomiciliary. No statistically significant association was found between sandflies and households levels. L. longipalpis counts were concentrated in areas of high vulnerability and some specific households were responsible for the persistence of the infestation. L. longipalpis prevails over other sand fly species for urban VL transmission. The entomological study may help target the surveillance and vector control strategies to domiciles initiating and/or maintaining VL outbreaks.

The Westerly Index as complementary indicator of the North Atlantic oscillation in explaining drought variability across Europe

This paper analyses the influence of different atmospheric circulation indices on the multi-scalar drought variability across Europe by using the Standardized Precipitation Evapotranspiration Index (SPEI). The monthly circulation indices used in this study include the North Atlantic oscillation (NAO), the East Atlantic (EA), the Scandinavian (SCAN) and the East Atlantic-Western Russia (EA-WR) patterns, as well as the recently published Westerly Index (WI), defined as the persistence of westerly winds over the eastern north Atlantic region. The results indicate that European drought variability is better explained by the station-based NAO index and the WI than by any other combination of circulation indices. In northern and central Europe the variability of drought severity for different seasons and time-scales is strongly associated with the WI. On the contrary, the influence of the NAO on southern Europe droughts is stronger than that exerted by the WI. The correlation patterns of the NAO and WI with the SPEI show a spatial complementarity in shaping drought variability across Europe. Lagged correlations of the NAO and WI with the SPEI also indicate enough skill of both indices to anticipate drought severity several months in advance. As long as instrumental series of the NAO and WI are available, their combined use would allow inferring European drought variability for the last two centuries and improve the calibration and interpretation of paleoclimatic proxies associated with drought.

The history of the introduction of the giant river prawn, Macrobrachium cf. rosenbergii (Decapoda, Palaemonidae), in Brazil: new insights from molecular data

The giant river prawn, Macrobrachium cf. rosenbergii, is one of the most cultivated freshwater prawns in the world and has been introduced into more than 40 countries. In some countries, this prawn is considered an invasive species that requires close monitoring. Recent changes in the taxonomy of this species (separation of M. rosenbergii and M. dacqueti) require a re-evaluation of introduced taxa. In this work, molecular analyses were used to determine which of these two species was introduced into Brazil and to establish the geographic origin of the introduced populations that have invaded Amazonian coastal waters. The species introduced into Brazil was M. dacqueti through two introduction events involving prawns originating from Vietnam and either Bangladesh or Thailand. These origins differ from historical reports of the introductions and underline the need to confirm the origin of other exotic populations around the world. The invading populations in Amazonia require monitoring not only because the biodiversity of this region may be affected by the introduction, but also because admixture of different native haplotypes can increase the genetic variability and the likelihood of persistence of the invading species in new habitats.

The creation and evaluation of novel canine training aids for cocaine using molecularly encapsulated sol-gel polymers and an investigation of canine field accuracy

Biological detectors, such as canines, are valuable tools used for the rapid identification of illicit materials. However, recent increased scrutiny over the reliability, field accuracy, and the capabilities of each detection canine is currently being evaluated in the legal system. For example, the Supreme Court case, State of Florida v. Harris, discussed the need for continuous monitoring of canine abilities, thresholds, and search capabilities. As a result, the fallibility of canines for detection was brought to light, as well as a need for further research and understanding of canine detection. This study is two-fold, as it looks to not only create new training aids for canines that can be manipulated for dissipation control, but also investigates canine field accuracy to objects with similar odors to illicit materials. ^ It was the goal of this research to improve upon current canine training aid mimics. Sol-gel polymer training aids, imprinted with the active odor of cocaine, were developed. This novel training aid improved upon the longevity of currently existing training aids, while also provided a way to manipulate the polymer network to alter the dissipation rate of the imprinted active odors. The manipulation of the polymer network could allow handlers to control the abundance of odors presented to their canines, familiarizing themselves to their canine’s capabilities and thresholds, thereby increasing the canines’ strength in court.^ The field accuracy of detection canines was recently called into question during the Supreme Court case, State of Florida v. Jardines, where it was argued that if cocaine’s active odor, methyl benzoate, was found to be produced by the popular landscaping flower, snapdragons, canines will false alert to said flowers. Therefore, snapdragon flowers were grown and tested both in the laboratory and in the field to determine the odors produced by snapdragon flowers; the persistence of these odors once flowers have been cut; and whether detection canines will alert to both growing and cut flowers during a blind search scenario. Results revealed that although methyl benzoate is produced by snapdragon flowers, certified narcotics detection canines can distinguish cocaine’s odor profile from that of snapdragon flowers and will not alert.^

The Role of Teleost Grazers in a Relatively Pristine Seagrass Ecosystem

Trophic downgrading of ecosystems necessitates a functional understanding of trophic cascades. Identifying the presence of cascades, and the mechanisms through which they occur, is particularly important for seagrass meadows, which are among the most threatened ecosystems on Earth. Shark Bay, Western Australia provides a model system to investigate the potential importance of top-down effects in a relatively pristine seagrass ecosystem. The role of megagrazers in the Shark Bay system has been previously investigated, but the role of macrograzers (i.e., teleosts), and their importance relative to megagrazers, remains unknown. The objective of my dissertation was to elucidate the importance of teleost macrograzers in transmitting top-down effects in seagrass ecosystems. Seagrasses and macroalgae were the main food of the abundant teleost Pelates octolineatus, but stable isotopic values suggested that algae may contribute a larger portion of assimilated food than suggested by gut contents. Pelates octolineatus is at risk from numerous predators, with pied cormorants (Phalacrocorax varius) taking the majority of tethered P. octolineatus. Using a combination of fish trapping and unbaited underwater video surveillance, I found that the relative abundance of P. octolineatus was greater in interior areas of seagrass banks during the cold season, and that the mean length of P. octolineatus was greater in these areas compared to along edges of banks. Finally, I used seagrass transplants and exclosure experiments to determine the relative effect of megagrazers and macrograzers on the establishment and persistence of three species of seagrasses in interior microhabitats. Teleost grazing had the largest impact on seagrass species with the highest nutrient content, and these impacts were primarily observed during the warm season. My findings are consistent with predictions of a behaviorally-mediated trophic cascade initiated by tiger sharks (Galeocerdo cuvier) and transmitted through herbivorous fishes and their predators.

Investigation of the enhanced antimicrobial activity of combination dry powder inhaler formulations of lactoferrin

The airways of most people with cystic fibrosis are colonized with biofilms of the Gram-negative, opportunistic pathogen Pseudomonas aeruginosa. Delivery of antibiotics directly to the lung in the form of dry powder aerosols offers the potential to achieve high local concentrations directly to the biofilms. Unfortunately, current aerosolised antibiotic regimes are unable to efficiently eradicate these biofilms from the airways. We investigated the ability of the innate antimicrobial, lactoferrin, to enhance the activity of two aminoglycoside antibiotics (tobramycin and gentamicin) against biofilms of P. aeruginosa strain PAO1. Biofilms were prepared in 96 well polystyrene plates. Combinations of the antibiotics and various lactoferrin preparations were spray dried. The bacterial cell viability of the various spray dried combinations was determined. Iron-free lactoferrin (apo lactoferrin) induced a 3-log reduction in the killing of planktonic cell by the aminoglycoside antibiotics (p < 0.01) and also reduced both the formation and persistence of P. aeruginosa biofilms (p < 0.01). Combinations of lactoferrin and an aminoglycoside displays potential as an effective new therapeutic strategy in the treatment of P. aeruginosa biofilms infections such as those typical of the CF lungs.

Spatial dynamics of bovine tuberculosis in the Autonomous Community of Madrid, Spain (2010-2012)

Progress in control of bovine tuberculosis (bTB) is often not uniform, usually due to the effect of one or more sometimes unknown epidemiological factors impairing the success of eradication programs. Use of spatial analysis can help to identify clusters of persistence of disease, leading to the identification of these factors thus allowing the implementation of targeted control measures, and may provide some insights of disease transmission, particularly when combined with molecular typing techniques. Here, the spatial dynamics of bTB in a high prevalence region of Spain were assessed during a three year period (2010-2012) using data from the eradication campaigns to detect clusters of positive bTB herds and of those infected with certain Mycobacterium bovis strains (characterized using spoligotyping and VNTR typing). In addition, the within-herd transmission coefficient (β) was estimated in infected herds and its spatial distribution and association with other potential outbreak and herd variables was evaluated. Significant clustering of positive herds was identified in the three years of the study in the same location ("high risk area"). Three spoligotypes (SB0339, SB0121 and SB1142) accounted for >70% of the outbreaks detected in the three years. VNTR subtyping revealed the presence of few but highly prevalent strains within the high risk area, suggesting maintained transmission in the area. The spatial autocorrelation found in the distribution of the estimated within-herd transmission coefficients in herds located within distances <14 km and the results of the spatial regression analysis, support the hypothesis of shared local factors affecting disease transmission in farms located at a close proximity.