You are here

Publications

  1. 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
  2. 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)
  3. 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)
  4. 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)
  5. 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,
  6. 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
  7. 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,
  8. 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
  9. 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
  10. 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

Pages