In: Journal of systems and software, 2021, vol. 181, p. 13
Software testing depends on effective oracles. Implicit oracles, such as checks for program crashes, are widely applicable but narrow in scope. Oracles based on formal specifications can reveal applicationspecific failures, but specifications are expensive to obtain and maintain. Metamorphic oracles are somewhere in-between. They test equivalence among different procedures to detect semantic...
|
Thèse de doctorat : Università della Svizzera italiana, 2020 ; 2020INFO014.
Despite the undeniable practical benefits of documentation during software development and evolution activities, its creation and maintenance is often neglected, leading to inadequate and even inexistent documentation. Thus, it is not unusual for developers to deal with unfamiliar code they have difficulties in comprehending. Browsing the official documentation, or accessing online resources,...
|
In: Multimedia Tools and Applications, 2008, vol. 37, no. 2, p. 135-167
|
In: Business & Information Systems Engineering, 2009, vol. 1, no. 2, p. 150-163
|
In: Bioinformatics, 2010, vol. 26, no. 20, p. 2626-2628
|
Thèse de doctorat : Università della Svizzera italiana, 2015 ; 2015INFO003.
Recent advances in the areas of automated reasoning and first-order theorem proving paved the way to the developing of effective tools for the rigorous formal analysis of computer systems. Nowadays many formal verification frameworks are built over highly engineered tools (SMT-solvers) implementing decision procedures for quantifier- free fragments of theories of interest for (dis)proving...
|
Thèse de doctorat : Università della Svizzera italiana, 2014 ; 2014INFO018.
Testing is the main approach used in the software industry to expose failures. Producing thorough test suites is an expensive and error prone task that can greatly benefit from automation. Two challenging problems in test automation are generating test input and evaluating the adequacy of test suites: the first amounts to producing a set of test cases that accurately represent the software...
|
Thèse de doctorat : Università della Svizzera italiana, 2013 ; 2013INFO003.
Our thesis is that the analysis of unstructured data supports software understanding and evolution analysis, and complements the data mined from structured sources. To this aim, we implemented the necessary toolset and investigated methods for exploring, exposing, and exploiting unstructured data.To validate our thesis, we focused on development email data. We found two main challenges in...
|
Thèse de doctorat : Università della Svizzera italiana, 2012 ; 2012INFO009.
Open-world software systems are built by composing heterogeneous,third-party components, whose behavior and interactions cannot be fully controlled or predicted; moreover, the environment they interact with is characterized by frequent, unexpected, and welcome changes. This class of software exhibits new features that often demand for rethinking and extending the traditional methodologies...
|
Thèse de doctorat : Università della Svizzera italiana, 2011 ; 2011INFO006.
Coarse Grained Reconfigurable Arrays have emerged, in recent years, as promising candidates to realize efficient reconfigurable platforms. CGRAs feature high computational density, flexible routing interconnect and rapid reconfiguration, characteristics that make them well-suited to speed up execution of computational kernels. A number of designs embodying the CGRA concept have been proposed...
|