1. A Machine Learning Approach to Software Requirements Prioritization,
    in «IEEE TRANSACTIONS ON SOFTWARE ENGINEERING»,
    vol. 39,
    n. 4,
    , pp. 445 -
    461
  2. Automated Identifier Completion and Replacement,
    IEEE Computer Society, CPS,
    , pp. 263-
    272
    , (17th European Conference on Software Maintenance and Reengineering,
    Genova, Italy,
    03/05/2013 - 03/08/2013)
  3. Interactive requirements prioritization using a genetic algorithm,
    in «INFORMATION AND SOFTWARE TECHNOLOGY»,
    vol. 55,
    n. 1,
    , pp. 173 -
    187
  4. Cluster-based modularization of processes recovered from web applications,
    in «JOURNAL OF SOFTWARE MAINTENANCE AND EVOLUTION: RESEARCH AND PRACTICE»,
    vol. 25,
    n. 2,
    , pp. 113 -
    138
  5. Paolo Tonella, Cu Duy Nguyen, Alessandro Marchetto, Kiran Lakhotia, Mark Harman,
    Automated Generation of State Abstraction Functions using Data Invariant Inference,
    Proc. of the 8th International Workshop on Automation of Software Test (AST’13),
  6. Silvia Ingolfo, Alberto Siena, Ivan Jureta, Angelo Susi, Anna Perini, John Mylopoulos,
    Choosing Compliance Solutions through Stakeholder Preferences,
    in Joerg Doerr, Andreas L. Opdahl, ,
    Requirements Engineering: Foundation for Software Quality - 19th International Working Conference, REFSQ 2013, Essen, Germany, April 8-11, 2013. Proceedings,
    Springer,
    vol.7830,
    , pp. 206-
    220
    , (Requirements Engineering: Foundation for Software Quality,
    Essen, Germany,
    April 8-11, 2013)
  7. Cataldo Basile, Mariano Ceccato,
    Towards a Unified Software Attack Model to Assess Software Protections,
    in Huzefa Kagdi and Denys Poshyvanyk and Massimiliano Di Penta,
    Proceedings of the 21st International Conference on Program Comprehension,
    IEEE Computer Society,
    , pp. 219-
    222
    , (21st International Conference on Program Comprehension,
    San Francisco, CA, USA,
    20-21 May 2013)
  8. Security Testing of the Communication among Android Applications,
    Proceedings of the 8th International Workshop on Automation of Software Test,
    IEEE computer society,
    , pp. 57-
    63
    , (8th International Workshop on Automation of Software Test,
    San Francisco, CA, USA,
    18-19 May 2013)
  9. Validation of Requirements for Hybrid Systems: a Formal Approach,
    in «ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY»,
    vol. 21,
    n. 4,
    , pp. 22:1 -
    22:34
  10. Leonardo Mariani, Alessandro Marchetto, Cu Duy Nguyen, Paolo Tonella, Arthur Baars,
    Revolution: Automatic Evolution of Mined Specifications,
    , (23rd IEEE International Symposium on Software Reliability Engineering,
    Dallas, TX, USA,
    November 27-30)