Unions of slices are not slices

Many approaches to slicing rely upon the 'fact' that the union of two static slices is a valid slice. It is known that static slices constructed using program dependence graph algorithms are valid slices (Reps and Yang, 1988). However, this is not true for other forms of slicing. For example, it has been established that the union of two dynamic slices is not necessarily a valid dynamic slice (Hall, 1995). In this paper this result is extended to show that the union of two static slices is not necessarily a valid slice, based on Weiser's definition of a (static) slice. We also analyse the properties that make the union of different forms of slices a valid slice

Behind the Intents: An In-depth Empirical Study on Software Refactoring in Modern Code Review

Code refactorings are of pivotal importance in modern code review. Developers may preserve, revisit, add or undo refactorings through changes’ revisions. Their goal is to certify that the driving intent of a code change is properly achieved. Developers’ intents behind refactorings may vary from pure structural improvement to facilitating feature additions and bug fixes. However, there is little understanding of the refactoring practices performed by developers during the code review process. It is also unclear whether the developers’ intents influence the selection, composition, and evolution of refactorings during the review of a code change. Through mining 1,780 reviewed code changes from 6 systems pertaining to two large open-source communities, we report the first in-depth empirical study on software refactoring during code review. We inspected and classified the developers’ intents behind each code change into 7 distinct categories. By analyzing data generated during the complete reviewing process, we observe: (i) how refactorings are selected, composed and evolved throughout each code change, and (ii) how developers’ intents are related to these decisions. For instance, our analysis shows developers regularly apply non-trivial sequences of refactorings that crosscut multiple code elements (i.e., widely scattered in the program) to support a single feature addition. Moreover, we observed that new developers’ intents commonly emerge during the code review process, influencing how developers select and compose their refactorings to achieve the new and adapted goals. Finally, we provide an enriched dataset that allows researchers to investigate the context and motivations behind refactoring operations during the code review process

Effects of phase separation and decomposition on the minority carrier diffusion length in AlxGa1-xN films

Combined electron beam induced current and transmission electron microscopy (TEM) measurements have been performed on both undoped and Si-doped AlGaN epitaxial films with aluminum contents x ranging from x = 0 to x = 0.79, in order to correlate the electrical and structural properties of the films. The diffusion length of holes in the films ranges between 0.3 and 15.9 mu m, and the estimated lifetime of holes for doped samples varies between 0.2 ns and 16 mu s. Different effects contribute to the observed increase in the diffusion length with increasing aluminum content. Among others, dislocations seem to be active as nonradiative recombination sites, and phase separation and decomposition as observed by TEM in Al-rich alloys lead to the formation of a spatially indirect recombination path due to the piezoelectric field in the films. Potential fluctuations associated with these phase irregularities could also give rise to electron induced persistent conductivity contributing to the increase of the diffusion length. From our experimental observations, we conclude that the silicon dopants are partially activated in Al-rich alloys, and do not influence significantly the values of the diffusion length of holes in these samples

Pidgin Crasher: Searching for Minimised Crashing GUI Event Sequences

We present a search based testing system that automatically explores the space of all possible GUI event interleavings. Search guides our system to novel crashing sequences using Levenshtein distance and minimises the resulting fault-revealing UI sequences in a post-processing hill climb. We report on the application of our system to the SSBSE 2014 challenge program, Pidgin. Overall, our Pidgin Crasher found 20 different events that caused 2 distinct kinds of bugs, while the event sequences that caused them were reduced by 84% on average using our minimisation post processor

Stigma-directed services (Stig2Health) to improve 'linkage to care' for people living with HIV in rural Tanzania: study protocol for a nested pre-post implementation study within the Kilombero and Ulanga Antiretroviral Cohort

Background: HIV-related stigma is a major barrier to the timely linkage and retention of patients in HIV care in sub-Saharan Africa, where most people living with HIV/AIDS reside. In this implementation study we aim to evaluate the effect of stigma-directed services on linkage to care and other health outcomes in newly diagnosed HIV-positive patients. Methods: In a nested project of the Kilombero and Ulanga Antiretroviral Cohort in rural Tanzania, we conduct a prospective observational pre-post study to assess the impact of a bundle of stigma-directed services for newly diagnosed HIV positive patients. Stigma-directed services, delivered by a lay person living with HIV, are i) post-test counseling, ii) post-test video-assisted teaching, iii) group support therapy and group health education, and iv) mobile health. Patients receiving stigma services (enrolled from 1 (st) February 2020 to 31 (st) August 2021) are compared to a historical control receiving the standard of care (enrolled from 1 (st) July 2017 to 1 (st) February 2019). The primary outcome is 'linkage to care'. Secondary endpoints are retention in care, viral suppression, death and clinical failure at 6-12 months (up to 31 (st) August 2022). Self-reported stigma and depression are assessed using the Berger Stigma scale and the PHQ-9 questionnaire, respectively. The sample size calculation was based on cohort data from 2018. Assuming a pre-intervention cohort of 511 newly diagnosed adults of whom 346 (68%) were in care and on antiretroviral treatment (ART) at 2 months, a 10% increase in linkage (from 70 to 80%), a two-sided type I error rate of 5%, and 90% power, 321 adults are required for the post-implementation group. Discussion: We expect that integration of stigma-directed services leads to an increase of proportions of patients in care and on ART. The findings will provide guidance on how to integrate stigma-directed services into routine care in rural sub-Saharan Africa

Who's this? Developer identification using IDE event data

This paper presents a technique to identify a developer based on their IDE event data. We exploited the KaVE data set which recorded IDE activities from 85 developers with 11M events. We found that using an SVM with a linear kernel on raw event count outperformed k-NN in identifying developers with an accuracy of 0.52. Moreover, after setting the optimal number of events and sessions to train the classifier, we achieved a higher accuracy of 0.69 and 0.71 respectively. The findings shows that we can identify developers based on their IDE event data. The technique can be expanded further to group similar developers for IDE feature recommendations

Technology in Parkinson's disease:challenges and opportunities

The miniaturization, sophistication, proliferation, and accessibility of technologies are enabling the capture of more and previously inaccessible phenomena in Parkinson's disease (PD). However, more information has not translated into a greater understanding of disease complexity to satisfy diagnostic and therapeutic needs. Challenges include noncompatible technology platforms, the need for wide-scale and long-term deployment of sensor technology (among vulnerable elderly patients in particular), and the gap between the "big data" acquired with sensitive measurement technologies and their limited clinical application. Major opportunities could be realized if new technologies are developed as part of open-source and/or open-hardware platforms that enable multichannel data capture sensitive to the broad range of motor and nonmotor problems that characterize PD and are adaptable into self-adjusting, individualized treatment delivery systems. The International Parkinson and Movement Disorders Society Task Force on Technology is entrusted to convene engineers, clinicians, researchers, and patients to promote the development of integrated measurement and closed-loop therapeutic systems with high patient adherence that also serve to (1) encourage the adoption of clinico-pathophysiologic phenotyping and early detection of critical disease milestones, (2) enhance the tailoring of symptomatic therapy, (3) improve subgroup targeting of patients for future testing of disease-modifying treatments, and (4) identify objective biomarkers to improve the longitudinal tracking of impairments in clinical care and research. This article summarizes the work carried out by the task force toward identifying challenges and opportunities in the development of technologies with potential for improving the clinical management and the quality of life of individuals with PD. © 2016 International Parkinson and Movement Disorder Society