2017

  • A Detailed Investigation of the Effectiveness of Whole Test Suite Generation

    José Miguel Rojas, Mattia Vivanti, Andrea Arcuri, Gordon Fraser

    In Empirical Software Engineering, Springer, volume 22, 2017

  • A Survey of Recent Trends in Testing Concurrent Software Systems

    Francesco A. Bianchi, Alessandro Margara, Mauro Pezzè

    In IEEE Transactions on Software Engineering, 2017

  • Cloud Reliable Infrastructure CURIX-Deliverable 1-Failure Prediction and Fault Localization

    Cristina Monni, Mauro Pezzè, Oliviero Riganelli, Rui Xin

    Technical report, IC Information, 2017

  • Combining Symbolic Execution and Search-Based Testing for Programs with Complex Heap Inputs

    Pietro Braione, Giovanni Denaro, Andrea Mattavelli, Mauro Pezzè

    In ISSTA '17: Proceedings of the International Symposium on Software Testing and Analysis, ACM, 2017

  • Heuristically Matching Solution Spaces of Arithmetic Formulas to Efficiently Reuse Solutions

    Andrea Aquino, Giovanni Denaro, Mauro Pezzè

    In ICSE '17: Proceedings of the International Conference on Software Engineering, IEEE Computer Society, 2017

  • Intrinsic Redundancy for Reliability and Beyond

    Alberto Goffi, Alessandra Gorla, Andrea Mattavelli, Mauro Pezzè

    Chapter in PAUSE: Present and Ulterior Software Engineering, Springer, 2017

  • Reproducing Concurrency Failures from Crash Stacks

    Francesco A. Bianchi, Mauro Pezzè, Valerio Terragni

    In FSE '17: Proceedings of the ACM SIGSOFT International Symposium on Foundations of Software Engineering, ACM, 2017

  • Semantic-based Analysis of Javadoc Comments

    Arianna Blasi, Konstantin Kuznetsov, Alberto Goffi, Sergio Delgado Castellanos, Alessandra Gorla, Michael D. Ernst, Mauro Pezzè

    In SATToSE '17: Seminar Series on Advanced Techniques and Tools for Software Evolution, 2017

2016

  • Automatic Generation of Oracles for Exceptional Behaviors

    Alberto Goffi, Alessandra Gorla, Michael D. Ernst, Mauro Pezzè

    In ISSTA '16: Proceedings of the International Symposium on Software Testing and Analysis, ACM, 2016

  • Bidirectional Symbolic Analysis for Effective Branch Testing

    Mauro Baluda, Giovanni Denaro, Mauro Pezzè

    In IEEE Transactions on Software Engineering, IEEE Computer Society, volume 42, 2016

  • Formal Verification With Confidence Intervals to Establish Quality of Service Properties of Software Systems

    R. Calinescu, Carlo Ghezzi, K. Johnson, Mauro Pezzè, Y. Rafiq, G. Tamburrelli

    In IEEE Transactions on Reliability, IEEE Computer Society, volume 65, 2016

  • JBSE: A Symbolic Executor for Java Programs with Complex Heap Inputs

    Pietro Braione, Giovanni Denaro, Mauro Pezzè

    In ESEC/FSE '16: Proceedings of the European Software Engineering Conference held jointly with the ACM SIGSOFT International Symposium on Foundations of Software Engineering, ACM, 2016

  • Self-Healing Cloud Applications

    Rui Xin

    In Companion proceedings of the International Conference on Software Testing, Verification and Validation, IEEE Computer Society, 2016

  • Semantic Testing of Interactive Applications

    Daniele Zuddas

    In Companion proceedings of the International Conference on Software Testing, Verification and Validation, IEEE Computer Society, 2016

  • Software Redundancy: What, Where, How

    Andrea Mattavelli

    PhD thesis, Università della Svizzera italiana (USI), 2016

  • Testing Concurrent Software Systems

    Francesco A. Bianchi

    In Companion proceedings of the International Conference on Software Testing, Verification and Validation, IEEE Computer Society, 2016

2015

  • Automated Test Oracles: A Survey

    Mauro Pezzè, Cheng Zhang

    Chapter in Advances in Computers, Elsevier, volume 95, 2015

  • Automatic Workarounds: Exploiting the Intrinsic Redundancy of Web Applications

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

    In ACM Transactions on Software Engineering and Methodologies, ACM, volume 24, 2015

  • Combining Multiple Coverage Criteria in Search-Based Unit Test Generation

    José Miguel Rojas, José Campos, Mattia Vivanti, Gordon Fraser, Andrea Arcuri

    In SSBSE '15: Proceedings of the 7th International Symposium on Search-Based Software Engineering, Springer, 2015

  • D1 - Industry trend study of fault localization technical

    Leonardo Mariani, Cristina Monni, Mauro Pezzè, Rui Xin

    Technical report, Software Self Healing Technologies for COTS based Telecom Cloud Systems, 2015

  • D2 - Self-healing Technical Research on COTS Based Telecom Cloud - A Solution for fault localization of network partial grey failures - methodology and tools

    Leonardo Mariani, Cristina Monni, Mauro Pezzè, Rui Xin

    Technical report, Software Self Healing Technologies for COTS based Telecom Cloud Systems, 2015

  • Dynamic Data Flow Testing of Object Oriented Systems

    Giovanni Denaro, Alessandro Margara, Mauro Pezzè, Mattia Vivanti

    In ICSE '15: Proceedings of the 37th International Conference on Software Engineering, IEEE Computer Society, 2015

  • Efficient analysis of event processing applications

    Gianpaolo Cugola, Alessandro Margara, Mauro Pezzè, Matteo Pradella

    In DEBS '15: Proceedings of the 9th ACM International Conference on Distributed Event-Based Systems, 2015

  • Intrinsic Software Redundancy for Self-healing Software Systems and Automated Oracle generation

    Antonio Carzaniga, Alberto Goffi, Alessandra Gorla, Andrea Mattavelli, Nicolò Perino, Mauro Pezzè, Paolo Tonella

    In Software Engineering & Management 2015, GI, 2015

  • Introduction to the Special Issue on ISSTA 2013

    Mark Harman, Mauro Pezzè

    In ACM Transactions on Software Engineering and Methodology, ACM, volume 24, 2015

  • Measuring Software Redundancy

    Antonio Carzaniga, Andrea Mattavelli, Mauro Pezzè

    In ICSE '15: Proceedings of the 37th International Conference on Software Engineering, IEEE Computer Society, 2015

  • Recent Advances in Automatic Black-Box Testing

    Leonardo Mariani, Mauro Pezzè, Daniele Zuddas

    Chapter in Advances in Computers, Elsevier, 2015

  • Reusing Constraint Proofs in Program Analysis

    Andrea Aquino, Francesco A. Bianchi, Meixian Chen, Giovanni Denaro, Mauro Pezzè

    In ISSTA '15: Proceedings of the International Symposium on Software Testing and Analysis, ACM, 2015

  • Symbolic execution of programs with heap inputs

    Pietro Braione, Giovanni Denaro, Mauro Pezzè

    In ESEC/FSE '15: Proceedings of the European Software Engineering Conference held jointly with the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2015

  • Synthesis of Equivalent Method Calls in Guava

    Andrea Mattavelli, Alberto Goffi, Alessandra Gorla

    In SSBSE '15: Proceedings of the 7th International Symposium on Search-Based Software Engineering, Springer, 2015

  • Towards Cost-Effective Oracles

    Mauro Pezzè

    In AST '15: Proceedings of the 10th IEEE/ACM International Workshop on Automation of Software Test, 2015

  • Towards an Engineering Methodology for Multi-model Scientific Simulations

    Alessandro Margara, Mauro Pezzè, Igor V. Pivkin, Mauro Santoro

    In SE4HPCS '15: Proceedings of the 1st IEEE/ACM International Workshop on Software Engineering for High Performance Computing in Science, 2015

2014

  • Automatic Generation of Cost-effective Test Oracles

    Alberto Goffi

    In ICSE '14: Proceedings of the 36th International Conference on Software Engineering, ACM, 2014

  • Automatic test case evolution

    Mehdi MirzaAghaei, Fabrizio Pastore, Mauro Pezzè

    In Software Testing, Verification and Reliability, Wiley, volume 24, 2014

  • Cross-checking Oracles from Intrinsic Software Redundancy

    Antonio Carzaniga, Alberto Goffi, Alessandra Gorla, Andrea Mattavelli, Mauro Pezzè

    In ICSE '14: Proceedings of the International Conference on Software Engineering, ACM, 2014

  • D3 - Self-healing Technical Research on COTS Based Telecom Cloud - Fault prediction algorithm and prototype

    Leonardo Mariani, Mauro Pezzè, Oliviero Riganelli, Rui Xin

    Technical report, Software Self Healing Technologies for COTS based Telecom Cloud Systems, 2014

  • Dynamic Data-flow Testing

    Mattia Vivanti

    In ICSE '14: Proceedings of the 36th International Conference on Software Engineering, ACM, 2014

  • Introduction to the Special Issue International Conference on Software Engineering (ICSE 2012)

    Gail C. Murphy, Mauro Pezzè

    In ACM Transactions on Software Engineering and Methodology, ACM, volume 23, 2014

  • Link: Exploiting the Web of Data to Generate Test Inputs

    Leonardo Mariani, Mauro Pezzè, Oliviero Riganelli, Mauro Santoro

    In ISSTA '14: Proceedings of the International Symposium on Software Testing and Analysis, ACM, 2014

  • MIMIC: locating and understanding bugs by analyzing mimicked executions

    Daniele Zuddas, Wei Jin, Fabrizio Pastore, Leonardo Mariani, Alessandro Orso

    In ASE '14: Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, ACM, 2014

  • Mining Behavior Models from User-intensive Web Applications

    Carlo Ghezzi, Mauro Pezzè, Michele Sama, Giordano Tamburrelli

    In ICSE '14: Proceedings of the 36th International Conference on Software Engineering, ACM, 2014

  • On the Right Objectives of Data Flow Testing

    Giovanni Denaro, Mauro Pezzè, Mattia Vivanti

    In ICST '14: Proceedings of the International Conference on Software Testing, Verification and Validation, IEEE Computer Society, 2014

  • Reusing Constraint Proofs for Scalable Program Analysis

    Chen Meixian

    In Proceedings of the 2014 International Symposium on Software Testing and Analysis, ACM, 2014

  • Search-Based Synthesis of Equivalent Method Sequences

    Alberto Goffi, Alessandra Gorla, Andrea Mattavelli, Mauro Pezzè, Paolo Tonella

    In FSE '14: Proceedings of the ACM SIGSOFT International Symposium on the Foundations of Software Engineering, ACM, 2014

  • 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, 2014

  • Towards Automated A/B Testing

    Giordano Tamburrelli, Alessandro Margara

    Chapter in Proceedings of the 6th International Symposium on Search-Based Software Engineering, Springer, volume 8636, 2014

  • Understanding the Redundancy of Software Systems

    Andrea Mattavelli

    In ICSE '14: Proceedings of the International Conference on Software Engineering, ACM, 2014

2013

  • A Framework for Self-Healing Systems

    Nicolò Perino

    In ICSE '13: Proceedings of the 35th International Conference on Software Engineering, IEEE Computer Society, 2013

  • Adaptive REST applications via model inference and probabilistic model checking

    Carlo Ghezzi, Mauro Pezzè, Giordano Tamburrelli

    In Proceedings of International Symposium on Integrated Network Management, 2013

  • Assurance of Self-adaptive Controllers for the Cloud

    Alessio Gambi, Giovanni Toffetti, Mauro Pezzè

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

  • Automatic Recovery from Runtime Failures

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

    In ICSE '13: Proceedings of the International Conference on Software Engineering, IEEE Computer Society, 2013

  • Enhancing symbolic execution with built-in term rewriting and constrained lazy initialization

    Pietro Braione, Giovanni Denaro, Mauro Pezzè

    In ESEC/FSE '13: Proceedings of the European Software Engineering Conference held jointly with the ACM SIGSOFT International Symposium on Foundations of Software Engineering, ACM, 2013

  • Exception Handlers for Healing Component-Based Systems

    Hervé Chang, Leonardo Mariani, Mauro Pezzè

    In ACM Transactions on Software Engineering and Methodology, ACM, volume 22, 2013

  • Generating Effective Integration Test Cases from Unit Ones

    Mauro Pezzè, Konstantin Rubinov, Jochen Wuttke

    In ICST '13: Proceedings of 6th International Conference on Software Testing, Verification and Validation, 2013

  • Graph transformations and software engineering: Success stories and lost chances

    Giovanni Toffetti, Mauro Pezzè

    In Journal of Visual Languages and Computing, Elsevier, volume 24, 2013

  • Improving Interaction with Services via Probabilistic Piggybacking

    Carlo Ghezzi, Mauro Pezzè, Giordano Tamburrelli

    In Proceedings of the 11th International Conference on Service-Oriented Computing, 2013

  • International Symposium on Software Testing and Analysis, ISSTA 2013, July 15-20, 2013, Lugano, Switzerland

    (Mauro Pezzè, Mark Harman, eds.), ACM, 2013

  • Kriging Controllers for Cloud Applications

    Alessio Gambi, Giovanni Toffetti, Cesare Pautasso, Mauro Pezzè

    In IEEE Internet Computing, IEEE Computer Society, volume 17, 2013

  • Quantifying the Complexity of Dataflow Testing

    Giovanni Denaro, Mauro Pezzè, Mattia Vivanti

    In AST '13: Proceedings of the International Workshop on Automation of Software Test, IEEE Computer Society, 2013

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

    Fabrizio Pastore, Leonardo Mariani, Alberto Goffi

    In ICSE '13: Proceedings of the 35th International Conference on Software Engineering (Formal Demonstrations Track), IEEE Computer Society, 2013

  • Search-based Data-flow Test Generation

    Mattia Vivanti, Andre Mis, Alessandra Gorla, Gordon Fraser

    In ISSRE '13: Proceedings of the International Symposium on Software Reliability Engineering, IEEE Computer Society, 2013

  • Test-and-Adapt: An Approach for Improving Service Interchangeability

    Giovanni Denaro, Mauro Pezzè, Davide Tosi

    In ACM Transactions on Software Engineering and Methodology, ACM, volume 22, 2013

2012

  • 34th International Conference on Software Engineering, ICSE 2012, June 2-9, 2012, Zurich, Switzerland

    (Martin Glinz, Gail C. Murphy, Mauro Pezzè, eds.), IEEE Computer Society, 2012

  • A Self-Healing Technique for Java Applications

    Antonio Carzaniga, Alessandra Gorla, Andrea Mattavelli, Nicolo Perino

    In ICSE '12: Proceedings of the International Conference on Software Engineering, 2012

  • An industrial case study of the effectiveness of test generators

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

    In AST '12: Proceedings of the International Workshop on Automation of Software Test, 2012

  • Augmenting Test Suites Automatically

    Konstantin Rubinov, Jochen Wuttke

    In ICSE '12: Proceedings of 34th International Conference on Software Engineering, 2012

  • AutoBlackTest: Automatic Black-Box Testing of Interactive Applications

    Leonardo Mariani, Mauro Pezzè, Oliviero Riganelli, Mauro Santoro

    In ICST '12: Proceedings of the International Conference on Software Testing, Verification and Validation, IEEE Computer Society, 2012

  • From off-Line to continuous on-line maintenance

    Mauro Pezzè

    In ICSM '12: Proceedings of the 28th IEEE International Conference on Software Maintenance, IEEE Computer Society, 2012

  • Supporting Test Suite Evolution through Test Case Adaptation

    Mehdi Mirzaaghaei, Fabrizio Pastore, Mauro Pezzè

    In ICST '12: Proceedings of the International Conference on Software Testing, Verification and Validation, IEEE Computer Society, 2012

2011

  • AutoBlackTest: A Tool for Automatic Black-box Testing

    Leonardo Mariani, Mauro Pezzè, Oliviero Riganelli, Mauro Santoro

    In ICSE '11: Proceedings of the International Conference on Software Engineering, 2011

  • Automated GUI refactoring and test script repair

    Brett Daniel, Qingzhou Luo, Mehdi Mirzaaghaei, Danny Dig, Darko Marinov, Mauro Pezzè

    In ETSE '11: Proceedings of the 1st International Workshop on End-to-End Test Script Engineering, 2011

  • Automatic test suite evolution

    Mehdi Mirzaaghaei

    In ESEC/FSE '11: Proceedings of the European Software Engineering Conference held jointly with the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2011

  • Dynamic Analysis for Diagnosing Integration Faults

    Leonardo Mariani, Fabrizio Pastore, Mauro Pezzè

    In IEEE Transactions on Software Engineering, IEEE Computer Society, 2011

  • End-to-End Reliability for Best-Effort Content-Based Publish/Subscribe Networks

    Amir Malekpour, Antonio Carzaniga, Fernando Pedone, Giovanni Toffetti Carughi

    In DEBS '11: Proceedings of the 5th ACM International Conference on Distributed Event-Based Systems, 2011

  • Enhancing structural software coverage by incrementally computing branch executability

    Mauro Baluda, Pietro Braione, Giovanni Denaro, Mauro Pezzè

    In Software Quality Journal, Springer, volume 19, 2011

  • Mining Finite-State Automata with Annotations

    Leonardo Mariani, Fabrizio Pastore, Mauro Pezzè, Mauro Santoro

    Chapter in Mining Software Specifications: Methodologies and Applications (David Lo, S.-C. Khoo, J. Han, C. Liu, eds.), CRC Press, 2011

  • Probabilistic FIFO Ordering In Publish/Subscribe Networks

    Amir Malekpour, Antonio Carzaniga, Giovanni Toffetti Carughi, Fernando Pedone

    In NCA '11: Proceedings of the 10th IEEE International Symposium on Network Computing and Applications, 2011

  • Reservoir - When One Cloud Is Not Enough

    Benny Rochwerger, David Breitgand, Amir Epstein, David Hadas, Irit Loy, Kenneth Nagin, Johan Tordsson, Carmelo Ragusa, Massimo Villari, Stuart Clayman, Eliezer Levy, Alessandro Maraschini, Philippe Massonet, Henar Munoz, Giovanni Toffetti

    In Computer, IEEE Computer Society, volume 44, 2011

  • Self-Repairing Programs (Dagstuhl Seminar 11062)

    Mauro Pezzè, Martin C. Rinard, Westley Weimer, Andreas Zeller

    In Dagstuhl Reports, , volume 1, 2011

  • State-of-the Art and trends in the Systematic Development of Rich Internet Applications

    Giovanni Toffetti, Sara Comai, Juan Carlos Preciado, Marino Linaje

    In Journal of Web Engineering, Rinton Press, volume 10, 2011

  • TestCareAssistant: Automatic Repair of Test Case Compilation Errors

    Mehdi Mirzaaghaei, Fabrizio Pastore

    In Eclipse-IT '11: Proceedings of 6th Italian Workshop on Eclipse Technologies, 2011

2010

  • Achieving Cost-Effective Software Reliability Through Self-Healing

    Alessandra Gorla, Leonardo Mariani, Fabrizio Pastore, Mauro Pezzè, Jochen Wuttke

    In Computing and Informatics, , volume 29, 2010

  • Automatic workarounds for web applications

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

    In FSE '10: Proceedings of the ACM SIGSOFT International Symposium on Foundations of Software Engineering, ACM, 2010

  • Automatically Repairing Test Cases for Evolving Method Declarations

    Mehdi Mirzaaghaei, Fabrizio Pastore, Mauro Pezzè

    In ICSM '10: Proceedings of the International Conference on Software Maintenance, IEEE Computer Society, 2010

  • Engineering Autonomic Controllers for Virtualized Web Applications

    Giovanni Toffetti, Alessio Gambi, Mauro Pezzè, Cesare Pautasso

    In Web Engineering (Boualem Benatallah, Fabio Casati, Gerti Kappel, Gustavo Rossi, eds.), Springer, volume 6189, 2010

  • Engineering Rich Internet applications with a model-driven approach

    Piero Fraternali, Sara Comai, Alessandro Bozzon, Giovanni Toffetti Carughi

    In ACM Transaction on Web, ACM, volume 4, 2010

  • Fifth Workshop on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2010, Cape Town, South Africa, May 3-4, 2010

    (Rogério de Lemos, Mauro Pezzè, eds.), ACM, 2010

  • Future Internet Monitoring Platform for Computing Clouds

    Stuart Clayman, Alex Galis, Giovanni Toffetti, Luis M. Vaquero, Benny Rochwerger, Philippe Massonet

    In ServiceWave, 2010

  • Generating Integration Test Cases Automatically

    Konstantin Rubinov

    In FSE '10: Proceedings of the ACM SIGSOFT International Symposium on Foundations of Software Engineering, ACM, 2010

  • Monitoring Service Clouds in the Future Internet

    Stuart Clayman, Alex Galis, Clovis Chapman, Giovanni Toffetti, Luis Rodero-Merino, Luis Miguel Vaquero, Kenneth Nagin, Benny Rochwerger

    Chapter in Towards the Future Internet - Emerging Trends from European Research, IOS Press, 2010

  • On the Integration of Software Testing and Formal Analysis

    Pietro Braione, Giovanni Denaro, Mauro Pezzè

    In LASER Summer School, 2010

  • Protecting SLAs with surrogate models

    Alessio Gambi, Mauro Pezzè, Giovanni Toffetti Carughi

    In PESOS '10: Proceedings of International Workshop on Principles of Engineering Service-Oriented Systems, 2010

  • RAW: Runtime Automatic Workarounds

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

    In ICSE '10: Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering (Tool Demo), ACM, 2010

  • SEIM: static extraction of interaction models

    Leonardo Mariani, Mauro Pezzè, Oliviero Riganelli, Mauro Santoro

    In PESOS '10: Proceedings of the 2nd International Workshop on Principles of Engineering Service-Oriented Systems, ACM, 2010

  • Software Engineering for Self-Adaptive Systems: A Second Research Roadmap

    Rogério de Lemos, Holger Giese, Hausi A. Müller, Mary Shaw, Jesper Andersson, Marin Litoiu, Bradley R. Schmerl, Gabriel Tamura, Norha M. Villegas, Thomas Vogel, Danny Weyns, Luciano Baresi, Basil Becker, Nelly Bencomo, Yuriy Brun, Bojan Cukic, Ron Desmarais, Schahram Dustdar, Gregor Engels, Kurt Geihs, Karl M. Göschka, Alessandra Gorla, Vincenzo Grassi, Paola Inverardi, Gabor Karsai, Jeff Kramer, Antónia Lopes, Jeff Magee, Sam Malek, Serge Mankovski, Raffaela Mirandola, John Mylopoulos, Oscar Nierstrasz, Mauro Pezzè, Christian Prehofer, Wilhelm Schäfer, Richard D. Schlichting, Dennis B. Smith, João Pedro Sousa, Ladan Tahvildari, Kenny Wong, Jochen Wuttke

    In Software Engineering for Self-Adaptive Systems, 2010

  • Structural coverage of feasible code

    Mauro Baluda, Pietro Braione, Giovanni Denaro, Mauro Pezzè

    In AST '10: Proceedings of the 5th Workshop on Automation of Software Test, ACM, 2010

  • Towards Practical Runtime Verification and Validation of Self-Adaptive Software Systems

    Gabriel Tamura, Norha M. Villegas, Hausi A. Müller, João Pedro Sousa, Basil Becker, Gabor Karsai, Serge Mankovski, Mauro Pezzè, Wilhelm Schäfer, Ladan Tahvildari, Kenny Wong

    In Software Engineering for Self-Adaptive Systems, 2010

2009

  • A Conceptual Modeling Approach to Business Service Mashup Development

    Alessandro Bozzon, Marco Brambilla, Federico Michele Facca, Giovanni Toffetti Carughi

    In ICWS '09: Proceedings of the International Conference on Web Services, 2009

  • A toolset for automated failure analysis

    Leonardo Mariani, Fabrizio Pastore, Mauro Pezzè

    In ICSE '09: Proceedings of the 31st International Conference on Software Engineering, IEEE Computer Society, 2009

  • Automatic Generation of Runtime Failure Detectors from Property Templates

    Mauro Pezzè, Jochen Wuttke

    Chapter in Software Engineering for Self-Adaptive Systems (Betty H. Cheng, Rogério Lemos, Holger Giese, Paola Inverardi, Jeff Magee, eds.), Springer, 2009

  • Automatic steering of behavioral model inference

    David Lo, Leonardo Mariani, Mauro Pezzè

    In ESEC/FSE '09: Proceedings of the the 7th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on The Foundations of Software Engineering, ACM, 2009

  • DaTeC: Dataflow Testing of Java Classes

    Giovanni Denaro, Alessandra Gorla, Mauro Pezzè

    In ICSE Companion '09: Proceedings of the International Conference on Software Engineering (Tool Demo), ACM, 2009

  • Defining Model Transformations for Property Templates

    Jochen Wuttke

    Technical report, University of Lugano, Switzerland, 2009

  • Engineering Self-Adaptive Systems through Feedback Loops

    Yuriy Brun, Giovanna Marzo Serugendo, Cristina Gacek, Holger Giese, Holger Kienle, Marin Litoiu, Hausi Müller, Mauro Pezzè, Mary Shaw

    Chapter in Software Engineering for Self-Adaptive Systems (Betty H. Cheng, Rogério Lemos, Holger Giese, Paola Inverardi, Jeff Magee, eds.), Springer, 2009

  • Ensuring Quality of Services at Runtime A Case Study

    Marco Massarelli, Claudia Raibulet, Daniele Cammareri, Nicolò Perino

    In SCC '09: Proceedings of the 2009 IEEE International Conference on Services Computing, IEEE Computer Society, 2009

  • Ensuring interoperable service-oriented systems through engineered self-healing

    Giovanni Denaro, Mauro Pezzè, Davide Tosi

    In ESEC/FSE '09: Proceedings of the the 7th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on The Foundations of Software Engineering, ACM, 2009

  • Fault Handling with Software Redundancy

    Antonio Carzaniga, Alessandra Gorla, Mauro Pezzè

    Chapter in Architecting Dependable Systems VI (R. de Lemos, J. Fabre, C. Gacek, F. Gadducci, M. ter Beek, eds.), Springer, 2009

  • In-field healing of integration problems with COTS components

    Herve Chang, Leonardo Mariani, Mauro Pezzè

    In ICSE '09: Proceedings of the 31st International Conference on Software Engineering, IEEE Computer Society, 2009

  • LuMiNous -- Model-Driven Assertion Generation for Runtime Failure Detection

    Mauro Pezzè, Jochen Wuttke

    In ICSE '09: Proceedings of the 31st International Conference on Software Engineering, 2009

  • Practical High-Throughput Content-Based Routing Using Unicast State and Probabilistic Encodings

    Antonio Carzaniga, Giovanni Toffetti Carughi, Cyrus Hall, Alexander L. Wolf

    Technical report, Faculty of Informatics, University of Lugano, 2009

  • SLA Protection models for virtualized data centers

    Alessio Gambi, Mauro Pezzè, Michal Young

    In SEAMS '09: Proceedings of the 4th Workshop on Software Engineering for Adaptive and Self-Managing Systems, IEEE Computer Society, 2009

  • Toward deeply adaptive societies of digital systems

    Antonio Carzaniga, Giovanni Denaro, Mauro Pezzè, Jacky Estublier, Alexander L. Wolf

    In ICSE '09: 31st International Conference on Software Engineering, IEEE Computer Society, 2009

  • Towards Web 2.0 Applications: A Conceptual Model for Rich Internet Applications

    A. Bozzon, S. Comai, P. Fraternali, G. Toffetti Carughi

    Chapter in Handbook on Web 2.0, 3.0 and X.0: Technologies, Business and Social Applications (San Murugesan, ed.), IGI Global, 2009

  • Towards autonomic service-oriented applications

    Davide Tosi, Giovanni Denaro, Mauro Pezzè

    In International Journal of Autonomic Computing (IJAC), Inderscience Publishers, volume 1, 2009

2008

  • A Formal Framework for Developing Adaptable Service- Based Applications

    Leen Lambers, Leonardo Mariani, Hartmut Ehrig, Mauro Pezzè

    In FASE '08: Proceedings of the 11th International Conference on Fundamental Approaches to Software Engineering, Springer, 2008

  • Automatic Generation of Software Behavioral Models

    Davide Lorenzoli, Leonardo Mariani, Mauro Pezzè

    In ICSE '08: Proceedings of the 30th International Conference on Software Engineering, IEEE Computer Society, 2008

  • Automatic Workarounds as Failure Recoveries

    Alessandra Gorla

    In FSEDS '08: Proceedings of the 2008 Foundations of Software Engineering Doctoral Symposium, ACM, 2008

  • Contextual Integration Testing of Classes

    Giovanni Denaro, Alessandra Gorla, Mauro Pezzè

    In FASE '08: Proceedings of the 11th International Conference on Fundamental Approaches to Software Engineering, Springer, 2008

  • Healing Web applications through automatic workarounds

    Antonio Carzaniga, Alessandra Gorla, Mauro Pezzè

    In International Journal on Software Tools for Technology Transfer (STTT), , volume 10, 2008

  • Property Templates and Assertions Supporting Runtime Failure Detection

    Jochen Wuttke

    Technical report, University of Lugano, Switzerland, 2008

  • Self-Healing Strategies for Component Integration Faults

    Hervè Chang, Leonardo Mariani, Mauro Pezzè

    In ARAMIS '08: Proceedings of the 1st International Workshop on Automated Engineering of Autonomous and run-tiMe evolvIng Systems, IEEE Computer Society, 2008

  • Self-Healing by Means of Automatic Workarounds

    Antonio Carzaniga, Alessandra Gorla, Mauro Pezzè

    In SEAMS '08: Proceedings of the 5th International Workshop on Software Engineering for Adaptive and Self-Managing Systems, ACM, 2008

  • Visibility of Control in Adaptive Systems

    Hausi Muller, Mauro Pezzè, Mary Shaw

    In ULSSIS '08: Proceedings of the 2nd International Workshop on Ultra-Large-Scale Software-Intensive Systems, ACM, 2008

2007

  • An Approach to Detecting Failures Automatically

    Jochen Wuttke

    In SOQUA '07: Proceedings of the 4th International Workshop on Software Quality Assurance, ACM, 2007

  • An Empirical Evaluation of Data Flow Testing of Java Classes

    Giovanni Denaro, Alessandra Gorla, Mauro Pezzè

    Technical report, University of Lugano, 2007

  • Compatibility and Regression Testing of COTS-Component-Based Software

    Leonardo Mariani, Sofia Papagiannakis, Mauro Pezzè

    In ICSE '07: Proceedings of the 29th International Conference on Software Engineering, IEEE Computer Society, 2007

  • Designing Self-Adaptive Service-Oriented Applications

    Giovanni Denaro, Mauro Pezzè, Davide Tosi

    In ICAC '07: Proceedings of the 4th IEEE International Conference on Autonomic Computing, IEEE Computer Society, 2007

  • Dynamic Detection of COTS Component Incompatibility

    Leonardo Mariani, Mauro Pezzè

    In IEEE Software, IEEE Computer Society, volume 24, 2007

  • Iterative Model-driven Development of Adaptable Service-Based Applications

    Leen Lambers, Hartmut Ehrig, Leonardo Mariani, Mauro Pezzè

    In ASE '07: Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering, ACM, 2007

  • Modeling distributed events in data-intensive rich internet applications

    Giovanni Toffetti Carughi, Sara Comai, Alessandro Bozzon, Piero Fraternali

    In WISE '07: Proceedings of the 8th international conference on Web information systems engineering, Springer, 2007

  • SHIWS: A Self-Healing Integrator for Web Services

    Giovanni Denaro, Mauro Pezzè, Davide Tosi

    In ICSE '07: Proceedings of the 29th International Conference on Software Engineering, IEEE Computer Society, 2007

  • Software Testing and Analysis: Process, Principles and Techniques

    Mauro Pezzè, Michal Young

    Wiley, 2007

  • Towards Design for Self-Healing

    Alessandra Gorla

    In SOQUA `07: Proceedings of the Fourth International Workshop on Software Quality Assurance, ACM, 2007

  • Towards Self-Protecting Enterprise Applications

    Davide Lorenzoli, Leonardo Mariani, Mauro Pezzè

    In ISSRE '07: Proceedings of the 18th IEEE International Symposium on Software Reliability Engineering, IEEE Computer Society, 2007

2006

  • An Introduction to Software Testing

    Luciano Baresi, Mauro Pezzè

    In Electronic Notes in Theoretical Computer Science, , volume 148, 2006

  • Inferring State-Based Behavior Models

    Davide Lorenzoli, Leonardo Mariani, Mauro Pezzè

    In WODA '06: Proceedings of the 4th International Workshop on Dynamic Systems Analysis, ACM, 2006

  • International Symposium on Software Testing and Analysis, ISSTA, July 17-20, 2006, Portland, Maine, USA

    (Lori L. Pollock, Mauro Pezzè, eds.), ACM, 2006

  • Model Checking of UML 2.0 Interactions

    Alexander Knapp, Jochen Wuttke

    In Models in Software Engineering, 2006

  • Towards Self-Adaptive Service-Oriented Architectures

    Giovanni Denaro, Mauro Pezzè, Davide Tosi, Daniela Schilling

    In TAV-WEB '06: Proceedings of the 2006 Workshop on Testing, Analysis, and Verification of Web Services and Applications, ACM, 2006