Résultats de la recherche

Automatically testing interactive applications : exploiting interactive applications semantic similarities for automated testing

Zuddas, Daniele ; Pezzè, Mauro (Dir.)

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...

OPEN IN
SONAR

Exposing concurrency failures : a comprehensive survey of the state of the art and a novel approach to reproduce field failures

Bianchi, Francesco Adalberto ; Pezzè, Mauro (Dir.)

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...

Affiner les résultats

Type de document

Institution

Collection spécifique

Langue

Auteur