In: Bioinformatics, 2018, vol. 34, no. 13, p. i438-i446
|
Thèse de doctorat : Università della Svizzera italiana, 2020 ; 2020INFO024.
Understanding the performance of software is complicated. For several performance metrics, in addition to the algorithmic complexity, one must also consider the dynamics of running a program within different combinations of hardware and software environments. Such dynamical aspects are not visible from the code alone, and any kind of static analysis falls short. For example, in reality, the...
|
Thèse de doctorat : Università della Svizzera italiana, 2020 ; 2020INFO012.
With the end of Moore's law and Dennard scaling, applications no longer enjoy performance improvements by simply waiting for the next generation of CPUs. This has led to the rise of domain-specific computing. As developers try to squeeze more performance out of applications, they have offloaded application functionality to specialized hardware, such as GPUs, FPGAs and ASICs. Programming these...
|
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...
|
In: Software Quality Journal, 2009, vol. 17, no. 4, p. 367-394
|
In: Health Education Research, 2009, vol. 25, no. 1, p. 74-82
|
Mémoire de bachelor : Haute école de gestion de Genève, 2014 ; TDEE 236.
Metals and Minerals are commodities essential to the development of a country and to the survival of an individual, but the press relates relatively often tragic accidents happening in mines. Moreover, NGOs and other organisations regularly point the finger to the practices of the extractive industry in terms of sustainability. Therefore I wanted to see what the reality was and why companies...
|
Thèse de doctorat : Università della Svizzera italiana, 2013 ; 2013INFO007.
While source code expresses and implements design considerations for software system, test cases capture and represent the domain knowledge of software developer, her assumptions on the implicit and explicit interaction protocols in the system, and the expected behavior of different modules of the system in normal and exceptional conditions. Moreover, test cases capture information about the...
|
In: Bulletin de la Murithienne, 1947, no. 65, p. 144-145
|
Thèse de doctorat : Università della Svizzera italiana, 2010 ; 2010INFO002.
In recent years, component- and service-orientation has gained importance as the new paradigm in software engineering, and it has introduced the challenge of dynamic component look-up and binding into the validation and verification process. This introduces a new class of inherently dynamic properties that have to be verified when the system is running in its target environment rather than...
|