• Search-based data-flow test generation

    Mattia Vivanti, Andre Mis, Alessandra Gorla, Gordon Fraser

    In 24th International Symposium on Software Reliability Engineering, IEEE, 2013

  • Generating Effective Integration Test Cases from Unit Ones

    Mauro Pezzè, Konstantin Rubinov, Jochen Wuttke

    In Proc. of 6th IEEE Int. Conf. on Software Testing, Verification and Validation (ICST), 2013

  • A Framework for Self-Healing Systems

    Nicolò Perino

    In ICSE '13: Proceedings of the 35nd ACM/IEEE International Conference on Software Engineering, (Doctoral Symposium), 2013

  • RADAR: A Tool for Debugging Regression Problems in C/C++ Software

    Fabrizio Pastore, Leonardo Mariani, Alberto Goffi

    In 35th International Conference on Software Engineering (Formal Demonstrations Track), 2013

  • Automatic Recovery from Runtime Failures

    Antonio Carzaniga, Alessandra Gorla, Andrea Mattavelli, Mauro Pezzè, Nicolò Perino

    In Proceedings of the 35th International Conference on Software Engineering, 2013

  • Assurance of Self-adaptive Controllers for the Cloud

    Alessio Gambi, Giovanni Toffetti, Mauro Pezzè

    In Assurances for Self-Adaptive Systems, Springer Berlin Heidelberg, volume 7740, 2013

  • Software testing with code-based test generators: data and lessons learned from a case study with an industrial software component

    Pietro Braione, Giovanni Denaro, Andrea Mattavelli, Mattia Vivanti, Ali Muhammad

    In Software Quality Journal, Springer, 2013