-
Ceccato, Mariano; Corradini, Davide; Gazzola, Luca; Kifetew, Fitsum Meshesha; Mariani, Leonardo; Orru, Matteo; Tonella, Paolo,
A Framework for In-Vivo Testing of Mobile Applications,
13th {IEEE} International Conference on Software Testing, Validation and Verification, {ICST} 2020, Porto, Portugal, October 24-28, 2020},
2020
, pp. 286-
296
-
Dabrowski, Jacek; Letier, Emmanuel; Perini, Anna; Susi, Angelo,
Mining User Opinions to Support Requirement Engineering: An Empirical Study,
Advanced Information Systems Engineering. CAiSE 2020,
Hidelberg,
Springer,
vol.12127,
2020
, pp. 401-
416
, (Advanced Information Systems Engineering. CAiSE 2020,
Grenoble, France,
June 8-12, 2020)
-
Dellagiacoma, Daniele; Busetta, Paolo; Gabbasov, Artem; Perini, Anna; Susi, Angelo,
Authoring Interactive Videos for e-Learning: The ELEVATE Tool Suite,
Methodologies and Intelligent Systems for Technology Enhanced Learning, 10th International Conference, MIS4TEL 2020,
vol.1241,
2020
, pp. 127-
136
, (Methodologies and Intelligent Systems for Technology Enhanced Learning, 10th International Conference,
L'Aquila, Italy,
17-19 June, 2020)
-
Amendola, Arturo; Becchi, Anna; Cavada, Roberto; Cimatti, Alessandro; Griggio, Alberto; Scaglione, Giuseppe; Susi, Angelo; Tacchella, Alberto; Tessi, Matteo,
A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System,
Leveraging Applications of Formal Methods, Verification and Validation: Applications - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020,
Springer,
vol.12478,
2020
, pp. 240-
254
, (9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020,
Rhodes, Greece,
October 20-30, 2020)
-
Perini, Anna; Susi, Angelo; Gabbasov, Artem; Busetta, Paolo; Dellagiacoma, Daniele; Astegher, Maurizio; Pedrotti, Matteo; Longato, Matteo,
Using i* to Understand the Domain of Video Tutorial for Online Training,
Proceedings of the Thirteenth International iStar Workshop co-located with 28th {IEEE} International Requirements Engineering Conference (RE 2020),
CEUR,
vol.2641,
2020
, pp. 13-
18
, (Thirteenth International iStar Workshop,
-
Guizzardi, Renata S. S.; Horkoff, Jennifer; Perini, Anna; Susi, Angelo,
Preface: The International Workshop on Requirements Engineering for Artificial Intelligence (RE4AI 2020),
Joint Proceedings of REFSQ-2020 Workshops, Doctoral Symposium, Live Studies Track, and Poster Track co-located with the 26th International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2020), Pisa, Italy, March 24, 2020,
CEUR,
2020
-
Prada, Rui; Prasetya, I. S. W. B.; Kifetew, Fitsum; Dignum, Frank; Vos, Tanja E. J.; Lander, Jason; Donnart, Jean-yves; Kazmierowski, Alexandre; Davidson, Joseph; Fernandes, Pedro M.,
Agent-based Testing of Extended Reality Systems,
-
Sabetzadeh, Mehrdad; Vogelsang, Andreas; Abualhaija, Sallam; Borg, Markus; Dalpiaz, Fabiano; Daneva, Maya; Condori(-)Fern('(a))ndez, Nelly; Franch, Xavier; Fucci, Davide; Gervasi, Vincenzo; Groen, Eduard C.; Guizzardi, Renata S. S.; Herrmann, Andrea; Horkoff, Jennifer; Mich, Luisa; Perini, Anna; Susi, Angelo (eds.),
CEUR-WS.org,
2020
-
Marchetto, Alessandro; Scanniello, Giuseppe; Susi, Angelo,
Combining Code and Requirements Coverage with Execution Cost for Test Suite Reduction,
in «IEEE TRANSACTIONS ON SOFTWARE ENGINEERING»,
vol. 45,
n. 4,
2019
, pp. 363 -
390
-
Ceccato, Mariano; Tonella, Paolo; Basile, Cataldo; Falcarin, Paolo; Torchiano, Marco; Coppens, Bart; De Sutter, Bjorn,
in «EMPIRICAL SOFTWARE ENGINEERING»,
vol. 24,
n. 1,
2019
, pp. 240 -
286
