Overcoming Language Dichotomies: Toward Effective Program Comprehension for Mobile App Development

Mobile devices and platforms have become an established target for modern software developers due to performant hardware and a large and growing user base numbering in the billions. Despite their popularity, the software development process for mobile apps comes with a set of unique, domain-specific challenges rooted in program comprehension. Many of these challenges stem from developer difficulties in reasoning about different representations of a program, a phenomenon we define as a "language dichotomy". In this paper, we reflect upon the various language dichotomies that contribute to open problems in program comprehension and development for mobile apps. Furthermore, to help guide the research community towards effective solutions for these problems, we provide a roadmap of directions for future work.Comment: Invited Keynote Paper for the 26th IEEE/ACM International Conference on Program Comprehension (ICPC'18

JWalk: a tool for lazy, systematic testing of java classes by design introspection and user interaction

Popular software testing tools, such as JUnit, allow frequent retesting of modified code; yet the manually created test scripts are often seriously incomplete. A unit-testing tool called JWalk has therefore been developed to address the need for systematic unit testing within the context of agile methods. The tool operates directly on the compiled code for Java classes and uses a new lazy method for inducing the changing design of a class on the fly. This is achieved partly through introspection, using Java’s reflection capability, and partly through interaction with the user, constructing and saving test oracles on the fly. Predictive rules reduce the number of oracle values that must be confirmed by the tester. Without human intervention, JWalk performs bounded exhaustive exploration of the class’s method protocols and may be directed to explore the space of algebraic constructions, or the intended design state-space of the tested class. With some human interaction, JWalk performs up to the equivalent of fully automated state-based testing, from a specification that was acquired incrementally

Old lineage on an old island : Pixibinthus, a new cricket genus endemic to New Caledonia shed light on gryllid diversification in a hotspot of biodiversity

Few studies have focused on the early colonization of New Caledonia by insects, after the re-emergence of the main island, 37 Myr ago. Here we investigate the mode and tempo of evolution of a new endemic cricket genus, Pixibinthus, recently discovered in southern New Caledonia. First we formally describe this new monotypic genus found exclusively in the open shrubby vegetation on metalliferous soils, named 'maquis minier', unique to New Caledonia. We then reconstruct a dated molecular phylogeny based on five mitochondrial and four nuclear loci in order to establish relationships of Pixibinthus within Eneopterinae crickets. Pixibinthus is recovered as thesister clade of the endemic genus Agnotecous, mostly rainforest-dwellers. Dating results show that the island colonization by their common ancestor occurred around 34.7 Myr, shortly after New Caledonia re-emergence. Pixibinthus and Agnotecous are then one of the oldest insect lineages documented so far for New Caledonia. This discovery highlights for the first time two clear-cut ecological specializations between sister clades, as Agnotecous is mainly found in rainforests with 19 species, whereas Pixibinthus is found in open habitats with a single documented species. The preference of Pixibinthus for open habitats and of Agnotecous for forest habitats nicely fits an acoustic specialization, either explained by differences in body size or in acoustic properties of their respective habitats. We hypothesize that landscape dynamics, linked to major past climatic events and recent change in fire regimes are possible causes for both present-day low diversity and rarity in genus Pixibinthus. The unique evolutionary history of this old New Caledonian lineage stresses the importance to increase our knowledge on the faunal biodiversity of 'maquis minier', in order to better understand the origin and past dynamics of New Caledonian biota

Conclave: ontology-driven measurement of semantic relatedness between source code elements and problem domain concepts

Software maintainers are often challenged with source code changes to improve software systems, or eliminate defects, in unfamiliar programs. To undertake these tasks a sufficient understanding of the system (or at least a small part of it) is required. One of the most time consuming tasks of this process is locating which parts of the code are responsible for some key functionality or feature. Feature (or concept) location techniques address this problem. This paper introduces Conclave, an environment for software analysis, and in particular the Conclave-Mapper tool that provides a feature location facility. This tool explores natural language terms used in programs (e.g. function and variable names), and using textual analysis and a collection of Natural Language Processing techniques, computes synonymous sets of terms. These sets are used to score relatedness between program elements, and search queries or problem domain concepts, producing sorted ranks of program elements that address the search criteria, or concepts. An empirical study is also discussed to evaluate the underlying feature location technique.info:eu-repo/semantics/publishedVersio

Aurora kinase A drives the evolution of resistance to third-generation EGFR inhibitors in lung cancer.

Although targeted therapies often elicit profound initial patient responses, these effects are transient due to residual disease leading to acquired resistance. How tumors transition between drug responsiveness, tolerance and resistance, especially in the absence of preexisting subclones, remains unclear. In epidermal growth factor receptor (EGFR)-mutant lung adenocarcinoma cells, we demonstrate that residual disease and acquired resistance in response to EGFR inhibitors requires Aurora kinase A (AURKA) activity. Nongenetic resistance through the activation of AURKA by its coactivator TPX2 emerges in response to chronic EGFR inhibition where it mitigates drug-induced apoptosis. Aurora kinase inhibitors suppress this adaptive survival program, increasing the magnitude and duration of EGFR inhibitor response in preclinical models. Treatment-induced activation of AURKA is associated with resistance to EGFR inhibitors in vitro, in vivo and in most individuals with EGFR-mutant lung adenocarcinoma. These findings delineate a molecular path whereby drug resistance emerges from drug-tolerant cells and unveils a synthetic lethal strategy for enhancing responses to EGFR inhibitors by suppressing AURKA-driven residual disease and acquired resistance

The Vascular Impairment of Cognition Classification Consensus Study

Introduction: Numerous diagnostic criteria have tried to tackle the variability in clinical manifestations and problematic diagnosis of vascular cognitive impairment (VCI) but none have been universally accepted. These criteria have not been readily comparable, impacting on clinical diagnosis rates and in turn prevalence estimates, research, and treatment. / Methods: The Vascular Impairment of Cognition Classification Consensus Study (VICCCS) involved participants (81% academic researchers) from 27 countries in an online Delphi consensus study. Participants reviewed previously proposed concepts to develop new guidelines. / Results: VICCCS had a mean of 122 (98–153) respondents across the study and a 67% threshold to represent consensus. VICCCS redefined VCI including classification of mild and major forms of VCI and subtypes. It proposes new standardized VCI-associated terminology and future research priorities to address gaps in current knowledge. / Discussion: VICCCS proposes a consensus-based updated conceptualization of VCI intended to facilitate standardization in research

VII. Discours

Introduction: Progress in understanding and management of vascular cognitive impairment (VCI) has been hampered by lack of consensus on diagnosis, reflecting the use of multiple different assessment protocols. A large multinational group of clinicians and researchers participated in a two-phase Vascular Impairment of Cognition Classification Consensus Study (VICCCS) to agree on principles (VICCCS-1) and protocols (VICCCS-2) for diagnosis of VCI. We present VICCCS-2. Methods: We used VICCCS-1 principles and published diagnostic guidelines as points of reference for an online Delphi survey aimed at achieving consensus on clinical diagnosis of VCI. Results: Six survey rounds comprising 65–79 participants agreed guidelines for diagnosis of VICCCS-revised mild and major forms of VCI and endorsed the National Institute of Neurological Disorders–Canadian Stroke Network neuropsychological assessment protocols and recommendations for imaging. Discussion: The VICCCS-2 suggests standardized use of the National Institute of Neurological Disorders–Canadian Stroke Network recommendations on neuropsychological and imaging assessment for diagnosis of VCI so as to promote research collaboration

Photography-based taxonomy is inadequate, unnecessary, and potentially harmful for biological sciences

The question whether taxonomic descriptions naming new animal species without type specimen(s) deposited in collections should be accepted for publication by scientific journals and allowed by the Code has already been discussed in Zootaxa (Dubois & Nemésio 2007; Donegan 2008, 2009; Nemésio 2009a–b; Dubois 2009; Gentile & Snell 2009; Minelli 2009; Cianferoni & Bartolozzi 2016; Amorim et al. 2016). This question was again raised in a letter supported by 35 signatories published in the journal Nature (Pape et al. 2016) on 15 September 2016. On 25 September 2016, the following rebuttal (strictly limited to 300 words as per the editorial rules of Nature) was submitted to Nature, which on 18 October 2016 refused to publish it. As we think this problem is a very important one for zoological taxonomy, this text is published here exactly as submitted to Nature, followed by the list of the 493 taxonomists and collection-based researchers who signed it in the short time span from 20 September to 6 October 2016