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 ; 2020INFO017.
Complex multi-tier systems are composed of many distributed machines, feature multi-layer architecture and offer different types of services. Shared complex multi-tier systems, such as cloud systems, reduce costs and improves resource utilization efficiency, with a considerable amount of complexity and dynamics that challenge the reliability of the system. The new challenges of complex...
|
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,...
|
Thèse de doctorat : Université de Fribourg, 2020 ; no. 2192.
We live in an Information Age, facing a rapid increase in the amount of information that is exchanged. This permanently growing amount of data makes the ability to store, analyze, and act upon information a primary concern (in addition to the obvious privacy, legal and ethical issues that are related), raising the question: “How can one consume Big Data and transformit into actionable...
|
Thèse de doctorat : Università della Svizzera italiana, 2019 ; 2019INFO006.
Interactive applications, such as mobile or web apps, have become essential in our lives and verifying their correctness is now a key issue. Automatic system test case generation can dramatically improve the testing process for these applications and has recently motivated researchers to work on this problem defining a wide range of different approaches. However, most state-of-the-art...
|
Thèse de doctorat : Università della Svizzera italiana, 2018 ; 2018INFO015.
With the rapid advance of multi-core and distributed architectures, concurrent systems are becoming more and more popular. Concurrent systems are extremely hard to develop and validate, as their overall behavior depends on the non-deterministic interleaving of the execution flows that comprise the system. Wrong and unexpected interleavings may lead to concurrency faults that are extremely...
|
Thèse de doctorat : Università della Svizzera italiana, 2018 ; 2018INFO007.
Symbolic analysis is an important element of program verification and automatic testing. Symbolic analysis techniques abstract program properties as expressions of symbolic input values to characterise the program logical constraints, and rely on Satisfiability Modulo Theories (SMT) solvers to both validate the satisfiability of the constraint expression and verify the corresponding program...
|
In: The European Physical Journal B, 2008, vol. 62, no. 1, p. 101-104
|
In: International Journal on Software Tools for Technology Transfer, 2008, vol. 10, no. 6, p. 493-502
|
In: International Journal of Computer Vision, 2008, vol. 77, no. 1-3, p. 259-289
|