Zobrazeno 1 - 10
of 174
pro vyhledávání: '"Gargantini, Angelo"'
Autor:
Bombarda, Andrea, Gargantini, Angelo
Combinatorial testing is a widely adopted technique for efficiently detecting faults in software. The quality of combinatorial test generators plays a crucial role in achieving effective test coverage. Evaluating combinatorial test generators remains
Externí odkaz:
http://arxiv.org/abs/2311.03016
Publikováno v:
EPTCS 349, 2021, pp. 13-29
Rigorous development processes aim to be effective in developing critical systems, especially if failures can have catastrophic consequences for humans and the environment. Such processes generally rely on formal methods, which can guarantee, thanks
Externí odkaz:
http://arxiv.org/abs/2111.08204
Autor:
Bombarda, Andrea, Gargantini, Angelo
Publikováno v:
In The Journal of Systems & Software March 2024 209
Publikováno v:
ICST2020 and INTUITESTBEDS2020 Workshop
Smart TV application (app) is a new technological software app that can deal with smart TV devices to add more functionality and features. Despite its importance nowadays, far too little attention has been paid to present a systematic approach to tes
Externí odkaz:
http://arxiv.org/abs/2002.00404
Autor:
Ahmed, Bestoun S., Gargantini, Angelo, Zamli, Kamal Z., Yilmaz, Cemal, Bures, Miroslav, Szeles, Marek
Combinatorial interaction testing (CIT) is a useful testing technique to address the interaction of input parameters in software systems. In many applications, the technique has been used as a systematic sampling technique to sample the enormous poss
Externí odkaz:
http://arxiv.org/abs/1907.09029
Timed automata (TAs) are a widely used formalism to specify systems having temporal requirements. However, exactly specifying the system may be difficult, as the user may not know the exact clock constraints triggering state transitions. In this work
Externí odkaz:
http://arxiv.org/abs/1907.02133
Autor:
Bombarda, Andrea, Bonfanti, Silvia, Galbiati, Cristiano, Gargantini, Angelo, Pelliccione, Patrizio, Riccobene, Elvinia, Wada, Masayuki
Publikováno v:
In Information and Software Technology December 2022 152
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.