You are here

Publications

  1. Ceccato, Mariano; Corradini, Davide; Gazzola, Luca; Kifetew, Fitsum Meshesha; Mariani, Leonardo; Orru, Matteo; Tonella, Paolo,
    Proceedings of the 2020 IEEE 13th International Conference on Software Testing, Validation and Verification (ICST),
    2020
    , pp. 286-
    296
    , (2020 IEEE 13th International Conference on Software Testing, Validation and Verification (ICST),
    Porto, Portugal,
    24-28 Oct. 2020)
  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,
    Proceedings of 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,
    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
    , (iStar 2020 - Thirteenth International iStar Workshop,
    Zurich, Switzerland,
    31/08-04/09/2020)
  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; Fernandez, Nelly C.; Franch, Xavier; Fucci, Davide; Gervasi, Vincenzo; Groen, Eduard C.; Guizzardi, Renata; Herrmann, Andrea; Horkoff, Jennifer; Mich, Luisa; Perini, Anna; Susi, Angelo (eds.),
    CEUR-WS.org,
    2020
  9. Morales-Ramirez, Itzel; Kifetew, Fitsum Meshesha; Perini, Anna,
    in «INFORMATION SYSTEMS»,
    vol. 86,
    2019
    , pp. 94 -
    112
  10. 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

Pages