Automated Software Debugging Using Hybrid Static/Dynamic Analysis

With the increasing complexity of today's software, the software development process is becoming highly time and resource consuming. The increasing number of software configurations, input parameters, usage scenarios, supporting platforms, external dependencies, and versions plays an important role in expanding the costs of maintaining and repairing unforeseeable software faults. To repair software faults, developers spend considerable time in identifying the scenarios leading to those faults and root-causing the problems. While software debugging remains largely manual, it is not the case with software testing and verification. The goal of this research is to improve the software development process in general, and software debugging process in particular, by devising techniques and methods for automated software debugging, which leverage the advances in automatic test case generation and replay. In this research, novel algorithms are devised to discover faulty execution paths in programs by utilizing already existing software test cases, which can be either automatically or manually generated. The execution traces, or alternatively, the sequence covers of the failing test cases are extracted. Afterwards, commonalities between these test case sequence covers are extracted, processed, analyzed, and then presented to the developers in the form of subsequences that may be causing the fault. The hypothesis is that code sequences that are shared between a number of faulty test cases for the same reason resemble the faulty execution path, and hence, the search space for the faulty execution path can be narrowed down by using a large number of test cases. To achieve this goal, an efficient algorithm is implemented for finding common subsequences among a set of code sequence covers. Optimization techniques are devised to generate shorter and more logical sequence covers, and to select subsequences with high likelihood of containing the root cause among the set of all possible common subsequences. A hybrid static/dynamic analysis approach is designed to trace back the common subsequences from the end to the root cause. A debugging tool is created to enable developers to use the approach, and integrate it with an existing Integrated Development Environment. The tool is also integrated with the environment's program editors so that developers can benefit from both the tool suggestions, and their source code counterparts. Finally, a comparison between the developed approach and the state-of-the-art techniques shows that developers need only to inspect a small number of lines in order to find the root cause of the fault. Furthermore, experimental evaluation shows that the algorithm optimizations lead to better results in terms of both the algorithm running time and the output subsequence length.

Determinantes da sustentabilidade financeira em diversos níveis de governo

Dissertação de Mestrado, Ciências Económicas e Empresariais, 18 de Julho de 2016, Universidade dos Açores.

Inter-application redundancy elimination in sensor networks with compiler-assisted scheduling

Most current-generation Wireless Sensor Network (WSN) nodes are equipped with multiple sensors of various types, and therefore support for multi-tasking and multiple concurrent applications is becoming increasingly common. This trend has been fostering the design of WSNs allowing several concurrent users to deploy applications with dissimilar requirements. In this paper, we extend the advantages of a holistic programming scheme by designing a novel compiler-assisted scheduling approach (called REIS) able to identify and eliminate redundancies across applications. To achieve this useful high-level optimization, we model each user application as a linear sequence of executable instructions. We show how well-known string-matching algorithms such as the Longest Common Subsequence (LCS) and the Shortest Common Super-sequence (SCS) can be used to produce an optimal merged monolithic sequence of the deployed applications that takes into account embedded scheduling information. We show that our approach can help in achieving about 60% average energy savings in processor usage compared to the normal execution of concurrent applications.

Genome-scale metabolic network reconstruction of Polaromonas sp. strain JS666: analysis of cDCE degradation rates and design of experiments for bioremediation improvement

Release of chloroethene compounds into the environment often results in groundwater contamination, which puts people at risk of exposure by drinking contaminated water. cDCE (cis-1,2-dichloroethene) accumulation on subsurface environments is a common environmental problem due to stagnation and partial degradation of other precursor chloroethene species. Polaromonas sp. strain JS666 apparently requires no exotic growth factors to be used as a bioaugmentation agent for aerobic cDCE degradation. Although being the only suitable microorganism found capable of such, further studies are needed for improving the intrinsic bioremediation rates and fully comprehend the metabolic processes involved. In order to do so, a metabolic model, iJS666, was reconstructed from genome annotation and available bibliographic data. FVA (Flux Variability Analysis) and FBA (Flux Balance Analysis) techniques were used to satisfactory validate the predictive capabilities of the iJS666 model. The iJS666 model was able to predict biomass growth for different previously tested conditions, allowed to design key experiments which should be done for further model improvement and, also, produced viable predictions for the use of biostimulant metabolites in the cDCE biodegradation.

The burden of chronic low back pain in the adult Portuguese population : an epidemiological population-based study under the scope of Epireumapt

RESUMO: Nos países desenvolvidos a lombalgia é a condição músculo-­‐esquelética mais prevalente. Quando evolui para um quadro crónico é responsável por um encargo económico bastante considerável, não só em relação aos indivíduos, mas também para a sociedade. A lombalgia crónica é por isso uma das principais causas de perda de produtividade e de perda de independência económica, nomeadamente através do absenteísmo (ausência do trabalho), do presenteísmo (perda de produtividade no trabalho, devido à capacidade diminuída provocada pela lombalgia) e da incapacidade para trabalhar (invalidez permanente, total ou parcial). Até à data, em Portugal, a prevalência e carga social da lombalgia crónica eram desconhecidas. Até agora não existiam estudos populacionais de grande dimensão sobre este tema. O objetivo principal desta tese foi determinar a prevalência de lombalgia crónica, e também avaliar a carga social que esta tem na população adulta Portuguesa. O trabalho de investigação foi desenvolvido no âmbito do Estudo Epidemiológico de Doenças Reumáticas em Portugal (EpiReumaPt). Este foi o primeiro estudo de larga escala e de base populacional, que determinou a prevalência de doenças reumáticas e músculo-­‐ esqueléticas na população adulta portuguesa. Foi realizado numa amostra aleatória e representativa, de 10.661 indivíduos do Continente, da Região Autónoma dos Açores e da Região Autónoma da Madeira, entre Setembro de 2011 e Dezembro de 2013. Esta tese foi dividida em duas secções. A primeira secção incluiu o detalhe das questões relativas ao desenvolvimento e gestão do EpiReumaPt, constituindo-­‐se como um guia prático sobre como realizar um estudo de base populacional de larga escala, em Portugal. A metodologia detalhada do EpiReumaPt foi também descrita nesta secção e incluiu os objectivos, o desenho do estudo, as características de recrutamento e a preparação de dados para análise. Nesta secção foram ainda descritos os principais resultados do EpiReumaPt. Estes evidenciaram que a lombalgia foi a condição músculo-­‐esquelética com maior prevalência na população adulta portuguesa.A segunda secção desta tese estimou a prevalência da lombalgia crónica ativa na população adulta Portuguesa, e avaliou a carga social esta condição. A lombalgia ativa foi definida com base na dor auto-­‐relatada no dia da entrevista e que persistia há pelo menos 90 dias (independentemente da causa). A lombalgia foi definida como dor na área definida entre a margem inferior das décimas segundas costelas até às pregas glúteas inferiores, com ou sem dor nos membros inferiores. A carga social foi medida tendo em conta os seguintes parâmetros: qualidade de vida, função, consumo de recursos de saúde, consumo de analgésicos e outros fármacos usados no alívio da dor, sintomas de ansiedade e sintomas de depressão. Os resultados mostraram que o consumo de recursos em saúde e a carga social da lombalgia crónica na população adulta Português é significativa. Também a incapacidade causada pela lombalgia crónica,nos indivíduos com idade ativa, é responsável por elevadas taxas de absenteísmo e má qualidade de vida, aos quais acresce o consequente ónus socioeconómico. Esta tese também concluiu que o consumo de analgésicos e outros medicamentos para alívio da dor, na população adulta portuguesa com lombalgia crónica ativa, é relativamente baixa. A maioria destes indivíduos não tomava nenhum medicamento analgésico, independentemente da intensidade da dor. Mesmo os indivíduos que reportaram dor intensa, apenas 4.0% estavam no primeiro degrau da escada analgésica da Organização Mundial de Saúde; 2.3% usavam opióides fracos e 0.03% usavam opióides fortes para controlar a dor (segundo e terceiro degrau da escada analgésica da Organização Mundial da Saúde). O trabalho de investigação também confirmou que a prevalência de sintomas de ansiedade e depressão entre os indivíduos adultos portugueses com lombalgia crónica ativa é elevada. Nestes indivíduos, registou-­‐se um consumo mais elevado de analgésicos e outros medicamentos para alívio da dor, quando comparados com os indivíduos com lombalgia crónica activa sem esses sintomas psicológicos. Os grupos terapêuticos mais utilizados foram os ansiolíticos, sedativos e hipnóticos, os antidepressivos e os anti-­‐inflamatórios não esteróides. A intensidade média da dor reportada foi também maior entre os indivíduos com lombalgia ativa e sintomas de ansiedade e/ou depressão. Também nestes, foi reportada pior função e pior estado de saúde. Em relação ao consumo de recursos de saúde foram encontradas diferenças significativas entre as duas populações: os indivíduos com lombalgia ativa e sintomas psicológicos concomitantes registaram maior número de consultas de psiquiatria de outras especialidades médicas, assim como precisaram de mais apoio domiciliário nos 12 meses prévios à entrevista do EpiReumaPt. Foram também identificados os fatores associados a sintomas isolados de ansiedade, a sintomas isolados de depressão e a sintomas de ansiedade e depressão. Resumindo,esta tese permitiu concluir que a lombalgia crónica é um problema de saúde comum na população adulta portuguesa, contribuindo para um elevado grau de incapacidade e que consequentemente afeta o desempenho laboral e o bem-­‐estar dos indivíduos. A lombalgia crónica é também responsável por um consumo considerável de recursos de saúde. Acresce ainda que os sintomas de ansiedade e depressão são comuns, entre os indivíduos com lombalgia crónica, contribuindo com uma carga social adicional.---------------------------------- ABSTRACT:Low Back Pain(LBP) is the most prevalent of musculoskeletal condition in developed countries.When it becomes chronic, LBP causesan enormous economic burden on individuals and society -­‐ it is one of the leading causes of loss of productivity and economic independence through absenteeism (time off work), presenteeism (lost productivity because of diminished capacity while at work) and work disability (permanent, partial or complete disablement for work purposes). In Portugal the prevalence and burden of LBP and chronic LBP (CLBP) were poorly defined. Until now no large population-­‐based studies have focused on this. The main aim of this thesis was to determine the prevalence of LBP and CLBP, and also to assess the burden of CLBP in the adult rtuguese population. The research work was developed under the scope of EpiReumaPt (the Portuguese Epidemiologic Study of Rheumatic Diseases). EpiReumaPt was the first national large population-­‐based and prevalence study of rheumatic and musculoskeletal diseases (RMD). It was performed among a randomized and representative sample of 10,661 adult Portuguese subjects recruited in Mainland, Azores and Madeira Islands, from September 2011 to December 2013. The first section of this thesis included detailed issues regarding the development and management of EpiReumaPt, and provided a practical guide on how to set-­‐up a large population-­‐based study in Portugal. The detailed methodology of EpiReumaPt, including its objectives,study design,recruitment features,and data preparation for analyses were also described. The main results from EpiReumaPt study were provided in this section and showed that LBP was the musculoskeletal condition with highest prevalence among Portuguese population. The second section of this thesis estimated the prevalence of active CLBP among adult Portuguese population, and assessed the social burden of this condition. Active CLBP was defined based on self-­‐reported pain on the day of the interview, and for most of the time for at least 90 days (independently from cause). LBP was defined as pain in the back area from the lower margin of the twelfth ribs to he lower gluteal folds, with or without pain referred to the lower limbs. Social burden was measured taking into account the following outcomes: quality of life, function, healthcare resources consumption, analgesic and other pain relief drugs intake, anxiety and depression symptoms. Results showed that the healthcare consumption and social burden of CLBP among adult Portuguese population were enormous, and the disability caused by CLBP among subjects in a working age provides high rates of absenteeism (work loss) and poor quality of life, with a consequent socioeconomic burden. This thesis also concluded that analgesic and other pain relief drugs untake among adult Portuguese population with active CLBP was very low. Most of the subjects with active CLBP did not take any analgesic drug regardless pain severity. Even when subjects self-­‐reported severe pain, only 24.0% were in the 1st step of the analgesic ladder,2.3% used weak analgesic opioids and 0.03% used strong opioids (2nd and 3rd step of WHO analgesic ladder, respectively) to control pain . The research work also confirmed that the prevalence of anxiety and depression symptoms among adult Portuguese subjects with active CLBP was high. Regarding pharmacological therapy, the intake of analgesic and other pain relief drugs was higher among subjects with anxiety and/or depression symptoms, when compared with subjects without these psychological symptoms. Anxiolytics, sedatives and hypnotics, antidepressants and NSAIDs intake had higher usage rates among these subjects. The pain severity mean was also higher among this subjects and function and health status was worse. Regarding healthcare resources consumption,significant differences between the two populations were found. Subjects with ctive CLBP and concomitant psychological symptoms had a higher number of psychiatrist and other physician visits. They also needed more home care in the previous 12 months. Factors associated with isolated symptoms of anxiety, depression,and concomitant anxiety and depression symptoms were also identified. Summarizing, we concluded that CLBP is a common health problem among adult Portuguese population contributing to disability and affecting labor performance, and the well being of subjects. it is also responsible for considerable healthcare resource consumption. Anxiety and depression symptoms are common among subjects with CLBP and provided an additional burden among them.

Social wasps of two wetland ecosystems in brazilian Amazonia (Hymenoptera, Vespidae, Polistinae)

In Brazilian Amazonia, 20 genera and more than 200 species of polistine wasps are recorded. Local faunas with 70 to 80 species are usually found in non floodable forest environments. However, a variety of wetlands exist in the region, the most expressive in surface area being varzea systems. In this paper, information is presented on polistines from two areas of wetlands in the Brazilian states of Amazonas and Amapá. These are reciprocally compared and also with nearby terra firme locations. Collecting methods consisted of active search for nests, handnetting and automatic trapping of individuals. Forty-six species of 15 genera were collected in Mamirauá, AM, most being widespread common wasps. However, five species deserve special mention in virtue of rarity and/or restricted distribution: Metapolybia rufata, Chartergellus nigerrimus, Chartergellus punctatior, Clypearia duckei, and Clypearia weyrauchi. In Região dos Lagos, AP, 31 species of 9 genera were collected, nearly all being common species with the exception of some Polistes, like P. goeldi and P. occipitalis. Even though less rich than vespid faunas from terra firme habitats, the Mamirauá fauna proved to be quite expressive considering limitations imposed by the hydrological regime. In Região dos Lagos, however, the very low diversity found was below the worst expectations. The virtual absence of otherwise common species in environments like tidal varzea forests along Araguari River is truly remarkable. The causes of low diversity are probably related to isolation and relative immaturity of the region, allied to strong degradation of forested habitats.

Le nodule pulmonaire solitaire [The solitary pulmonary nodule]

The incidental discovery of a solitary pulmonary nodule while performing a CT scan of the chest is a very common clinical problem. The differential diagnosis is large but the main clinical challenge is to exclude or ascertain a neoplasia. The evaluation of preexisting risk factors and the analysis of morphological characteristics of the nodule allow the clinician to solve this challenge in a significant number of cases. When the nature of the lesion remains indeterminate a careful follow-up with volumetric determination is necessary for decision making.

Análisis de viabilidad para la centralización de entornos distribuidos

Cada vez es más habitual encontrar tanto el software como el hardware común de las empresas distribuido y gestionado en diferentes servidores que se encargan de servir al usuario aquello que necesita sólo cuando éste lo pide. Este sistema de distribución de la información se llama centralización. Este sistema de distribución requiere un mantenimiento constante para así poder atender todas las demandas de los usuarios. El mantenimiento se convierte, gracias a la centralización en algo relativamente sencillo puesto que sólo es en el servidor donde se tienen que realizar los cambios, actualizaciones o instalación de nuevo software. Es importante entonces comprobar que estas nuevas actualizaciones del servidor responderán correctamente cuando los usuarios las requieran remotamente. En este proyecto nos hemos encargado de analizar cómo se realizan las comprobaciones necesarias para asegurar el correcto funcionamiento de los servidores remotos considerando tanto el entorno en el que se realizan como las herramientas necesarias para llevarlo a cabo. Para completar la información nos hemos centrado en un ejemplo particular de test de carga.

Brucellosis hip abscess without risk factor.

Brucellosis has become a rare entity in many industrialised countries, because of animal vaccination programs. We report a first case in the literature of Brucella abscess in the hip region observed in Switzerland in a subject without any clear risk factor, leading us to conclude that abscess formation can be a rare manifestation of brucellosis. Because it can present in many different forms and locations without having characteristic clinics, a high index of suspicion is needed for the diagnosis even if the patient is a healthy athlete with no clear way of obvious route for contamination, and this even more if all the common causes of athletic hip pain have been ruled out.

Guidelines for the clinical management of atrial fibrillation: a practical perspective.

Since the management of atrial fibrillation may be difficult in the individual patient, our purpose was to develop simple clinical recommendations to help the general internist manage this common clinical problem. Systematic review of the literature with evaluation of data-related evidence and framing of graded recommendations. Atrial fibrillation affects some 1% of the population in Western countries and is linked to a significant increase in morbidity and mortality. The management of atrial fibrillation requires individualised evaluation of the risks and benefits of therapeutic modalities, relying whenever possible on simple and validated tools. The two main points requiring a decision in clinical management are 1) whether or not to implement thromboembolic prevention therapy, and 2) whether preference should be given to a "rate control" or "rhythm control" strategy. Thromboembolic prophylaxis should be prescribed after individualised risk assessment: for patients at risk, oral anticoagulation with warfarin decreases the rate of embolic complications by 60% and aspirin by 20%, at the expense of an increased incidence of haemorrhagic complications. "Rate control" and "rhythm control" strategies are probably equivalent, and the choice should also be made on an individualised basis. To assist the physician in making his choices for the care of an atrial fibrillation patient we propose specific tables and algorithms, with graded recommendations. On the evidence of data from the literature we propose simple algorithms and tables for the clinical management of atrial fibrillation in the individual patient.

Der akute anale Schmerz [Acute anal pain].

Acute anal pain is a common proctological problem. A detailed history together with the clinical examination are crucial for the diagnosis. An acute perianal vein thrombosis can be successfully excised within the first 72 hours. Acute anal fissures are best treated conservatively using stool regulation and topical medications reducing the sphincter spasm. A chronic anal fissure needs surgery. Perianal abscesses can very often be incised and drained in local anesthesia. Proctalgia fugax and the levator ani syndrome are exclusion diagnoses and are treated symptomatically.

Brain metastasis: opportunity for drug development?

PURPOSE OF REVIEW: Brain metastases are a common clinical problem, and only limited treatment options exist. We review recent advances in medical brain metastasis research with a focus on the most common tumor types associated with secondary brain colonization: melanoma, breast cancer and lung cancer. We speculate on opportunities for drug development in patients with brain metastases, both as a treatment of established disease and as an adjuvant and prophylactic strategy. RECENT FINDINGS: BRAF inhibitors and the immunomodulatory anticytotoxic T-lymphocyte-associated antigen 4 antibody ipilimumab have shown clinically meaningful activity in melanoma patients with brain metastases. In breast cancer, current studies on drug treatment of brain metastases are mainly focusing on human epidermal growth factor receptor 2 targeting agents such as lapatinib. Emerging data seem to implicate a potential role of targeted agents including antiangiogenic compounds, pazopanib, and epithelial growth factor receptor inhibitors for prevention of brain metastasis formation in breast cancer or nonsmall cell lung cancer. SUMMARY: Novel drugs are beginning to enter clinical practice for selected patients with brain metastases. The promising findings from recent studies may fuel more research on brain metastases and their optimal drug treatment.

Dissecting the genetic heterogeneity of depression through age at onset.

Genome-wide studies in major depression have identified few replicated associations, potentially due to heterogeneity within the disorder. Several studies have suggested that age at onset (AAO) can distinguish sub-types of depression with specific heritable components. This paper investigates the role of AAO in the genetic susceptibility for depression using genome-wide association data on 2,746 cases and 1,594 screened controls from the RADIANT studies, with replication performed in 1,471 cases and 1,403 controls from two Munich studies. Three methods were used to analyze AAO: First a time-to-event analysis with controls censored, secondly comparing controls to case-subsets defined using AAO cut-offs, and lastly analyzing AAO as a quantitative trait. In the time-to-event analysis three SNPs reached suggestive significance (P < 5E-06), overlapping with the original case-control analysis of this study. In a case-control analysis using AAO thresholds, SNPs in 10 genomic regions showed suggestive association though again none reached genome-wide significance. Lastly, case-only analysis of AAO as a quantitative trait resulted in 5 SNPs reaching suggestive significance. Sex specific analysis was performed as a secondary analysis, yielding one SNP reaching genome-wide significance in early-onset males. No SNPs achieved significance in the replication study after correction for multiple testing. Analysis of AAO as a quantitative trait did suggest that, across all SNPs, common genetic variants explained a large proportion of the variance (51%, P = 0.04). This study provides the first focussed analysis of the genetic contribution to AAO in depression, and establishes a statistical framework that can be applied to a quantitative trait underlying any disorder. © 2012 Wiley Periodicals, Inc.

No association between ApoE polymorphism and febrile seizures.

Seizures associated with fever are a common pediatric problem, affecting about 2-7 % of children between 3 months and 5 years of age. Differentiation of febrile seizures from acute symptomatic seizures secondary to central nervous system infections or seizures associated with fever in children with epilepsy is essential to provide appropriate treatment and follow-up care. Here, we tested the hypothesis that children who exhibit simple febrile seizures during early childhood, but do not develop epileptic seizures later in life, might preferentially carry the ApoE2 allele of the gene coding for the apolipoprotein E. We did not find any differences in the distribution of ApoE alleles or genotypes between individuals who exhibited simple febrile seizures (n = 93) and age-matched, typically developing subjects (n = 80). We found that the observed allele and genotype frequencies did not deviate from Hardy-Weinberg equilibrium, which suggests that the frequencies of ApoE alleles and genotypes are stable in the Swiss population from which our samples were derived. Across both groups of subjects (n = 173), we found an ApoE2 allele frequency of 0.064, an ApoE3 frequency of 0.829 and an ApoE4 frequency of 0.107. Our findings are consistent with previous reports of the distribution of ApoE polymorphism for European subjects free of any neurological disorders, and show that the different alleles of the gene coding for the apolipoprotein E are not associated with the occurrence of simple febrile seizures.

Imaging of the adrenal gland lesions

With the steep increase in the use of cross-sectional imaging in recent years, the incidentally detected adrenal lesion, or "incidentaloma", has become an increasingly common diagnostic problem for the radiologist, and a need for an approach to classifying these lesions as benign, malignant or indeterminate with imaging has spurred an explosion of research. While most incidentalomas represent benign disease, typically an adenoma, the possibility of malignant involvement of the adrenal gland necessitates a reliance on imaging to inform management decisions. In this article, we review the literature on adrenal gland imaging, with particular emphasis on computed tomography, magnetic resonance imaging, and photon-emission tomography, and discuss how these findings relate to clinical practice. Emerging technologies, such as contrast-enhanced ultrasonography, dual-energy computed tomography, and magnetic resonance spectroscopic imaging will also be briefly addressed.