The goal of this paper is to explore the benefits of automatic pipeline provisioning and identify how it can be applied. Automatic pipeline provisioning can be defined as a process of quickly deploying a pipeline for a software engineering project. This research will focus on CI pipelines, although the outcomes of this approach on CD pipelines will likely be similar.
We propose a new static program analysis called program behavior analysis. The analysis aims to calculate possible symbolic expressions for every variable at each program point. We design a new lattice, transfer function, and widening operator to accommodate the analysis. Furthermore, we extend the analysis to interprocedural.
This paper describes the tools, technologies, and frameworks used in the implementation of the QualiBD, a tool for modelling quality requirements for Big Data Software Applications.
In this report, we describe the review protocol that will guide the systematic review of the literature in metrics-based discovery of vulnerabilities. The protocol have been developed in adherence with the guidelines for performing Systematic Literature Reviews in Software Engineering prescribed by Kitchenham and Charters.
Proceedings of the 5th International Workshop on Software Engineering Methods in Spreadsheets (SEMS'18), held on October 1st, 2018, in Lisbon, Portugal, and co-located with the 2018 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC).
AbstractThe new title compound is synthesized by reaction of Ga and Se in a CsCl flux in the presence of Mn (CsCl:Mn:Ga:Se = 6:4:5:12,1273 K, 4 d; 60% yield).
In software testing, the large size of the input domain makes exhaustively testing the inputs a daunting and often impossible task. Pair-wise testing is a popular approach to combinatorial testing problems. This paper reviews Pair-wise testing and its history, strengths, weaknesses, and tools for generating test cases.
We describe two pilot studies of code review by and for scientists. Our principal findings are that scientists are enthusiastic, but need to be shown code review in action, and that just-in-time review of small code changes is more likely to succeed than large-scale end-of-work reviews.
We propose to validate experimentally a theory of software certification that proceeds from assessment of confidence in fault-freeness (due to standards) to conservative prediction of failure-free operation.
Primary, or transmitted, HIV antiretroviral resistance is an ongoing concern despite continuing development of new antiretroviral therapies. We examined HIV surveillance data, including both patient demographic characteristics and laboratory data, combined with HIV genotypic test results to evaluate the comprehensiveness of drug resistance surveillance, prevalence of primary drug resistance, and impact, if any, of primary resistance on population-based virological outcomes. The King County, WA Variant, Atypical, and Resistant HIV Surveillance (VARHS) system increased coverage of eligible genotypic testing – within three months of an HIV diagnosis among antiretroviral naïve individuals -- from – 15% in 2003 to 69% in 2010. VARHS under-represented females, Blacks, Native Americans, and injection drug users. Primary drug resistance was more common among males, individuals aged 20 – 29 years, men who had sex with men, and individuals with an initial CD4+ lymphocyte count of 200 cells/µL and higher. High level resistance to two or three antiretroviral classes declined over time. Over 90% of sequences were HIV-1 subtype B. The proportion of individuals with a most recent viral load (closest to April 2011) that was undetectable (<50 copies/mL) was not statistically significantly associated with primary drug resistance. This was true for both number and type of antiretroviral drug class; although small numbers of specimens with drug resistance may have limited our statistical power. In summary, although we found disparities in testing coverage and prevalence of drug resistance, we were unable to detect a significantly deleterious impact of primary drug resistance based on a most recent viral load.
Famantanantsoa Randimbivololona, Abderrahmane Brahmi, Philippe Le Meur
This paper presents the early deployment of a fully virtual platform to perform the tests of certified airborne software. This is an alternative to the current approach based on the use of dedicated hardware platforms.
Using a real-life evolution taken from the Graphical Modeling Framework, we invite submissions to explore ways in which model transformation and migration tools can be used to migrate models in response to metamodel adaptation.
FAVO2009 was the second workshop on Formal Aspects of Virtual Organisations. The purpose of the FAVO workshops is to encourage an active community of researchers and practitioners using formal methods in the research and development of Virtual Organisations.
This paper describes how the maximum potential number of edges of an encapsulated graph varies as the graph is transformed, that is, as nodes are created and modified. The equations governing these changes of maximum potential number of edges caused by the transformations are derived and briefly analysed.
Semi-automatic translation of math-filled book from obsolete ChiWriter format to LaTeX. Is it possible? Idea of criterion whether to use automatic or hand mode for translation. Illustrations.