Publications sorted by year

Sort publications by type

2015

  • M. Pezzè and C. Zhang, "Automated Test Oracles: A Survey," Advances in Computers, vol. 95, pp. 1-48, 2015. | bibtex
    @article{Pezze:Oracles:Advances:2015,
    author = {Mauro Pezz{\`{e}} and Cheng Zhang},
    title = {Automated Test Oracles: {A} Survey},
    journal = {Advances in Computers},
    year = {2015},
    volume = {95},
    pages = {1--48},
    }

2014

  • C. Ghezzi, M. Pezzè, M. Sama, and G. Tamburrelli, "Mining behavior models from user-intensive web applications," in Proceedings of the 36th International Conference on Software Engineering, 2014, pp. 277-287. | bibtex
    @inproceedings{DBLP:conf/icse/GhezziPST14,
    author = {Carlo Ghezzi and Mauro Pezz{\`e} and Michele Sama and Giordano Tamburrelli},
    title = {Mining behavior models from user-intensive web applications},
    series = {ICSE 2014},
    booktitle = {Proceedings of the 36th International Conference on Software Engineering},
    year = {2014},
    pages = {277-287},
    }
  • L. Mariani, M. Pezze, O. Riganelli, and M. Santoro, "Link: Exploiting the Web of Data to Generate Test Inputs," in ISSTA '14: Proceedings of the International Symposium on Software Testing and Analysis, 2014. | bibtex
    @inproceedings{Mariani:Link:ISSTA:2014,
    author = {Leonardo Mariani and Mauro Pezze and Oliviero Riganelli and Mauro Santoro},
    booktitle = {ISSTA '14: Proceedings of the International Symposium on Software Testing and Analysis},
    title = {Link: Exploiting the Web of Data to Generate Test Inputs},
    year = {2014},
    }
  • G. Denaro, M. Pezzè, and M. Vivanti, "On the Right Objectives of Data Flow Testing," in Proceedings of the 7th International Conference on Software Testing, Verification and Validation, 2014, pp. 71-80. | bibtex | pdf
    @inproceedings{Denaro:objectives:ICST:2014,
    author = {Denaro, Giovanni and Pezz\`{e}, Mauro and Vivanti, Mattia},
    booktitle = {Proceedings of the 7th International Conference on Software Testing, Verification and Validation},
    publisher = {IEEE},
    series = {ICST 2014},
    pages = {71--80},
    title = {On the Right Objectives of Data Flow Testing},
    year = {2014},
    }
  • A. Carzaniga, A. Goffi, A. Gorla, A. Mattavelli, and M. Pezzè, "Cross-checking Oracles from Intrinsic Software Redundancy," in Proceedings of the 36th International Conference on Software Engineering, 2014, pp. 931-942. | bibtex | pdf
    @inproceedings{Carzaniga:CrossCheck:ICSE:2014,
    author = {Carzaniga, Antonio and Goffi, Alberto and Gorla, Alessandra and Mattavelli, Andrea and Pezz\`{e}, Mauro},
    booktitle = {Proceedings of the 36th International Conference on Software Engineering},
    pages = {931--942},
    publisher = {ACM},
    series = {ICSE 2014},
    title = {Cross-checking Oracles from Intrinsic Software Redundancy},
    year = {2014},
    }
  • A. Goffi, A. Gorla, A. Mattavelli, M. Pezzè, and P. Tonella, "Search-Based Synthesis of Equivalent Method Sequences," in Proceedings of the 22nd ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE 2014), 2014. | bibtex | pdf
    @inproceedings{Goffi:SBES:FSE:2014,
    author = {Goffi, Alberto and Gorla, Alessandra and Mattavelli, Andrea and Pezz\`{e}, Mauro and Tonella, Paolo},
    booktitle = {Proceedings of the 22nd ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE 2014)},
    numpages = {10},
    pages = {--},
    publisher = {ACM},
    series = {FSE '14},
    title = {Search-Based Synthesis of Equivalent Method Sequences},
    year = {2014},
    }
  • M. MirzaAghaei, F. Pastore, and M. Pezzè, "Automatic test case evolution," Software Testing, Verification and Reliability, vol. 24, iss. 5, pp. 386-411, 2014. | bibtex
    @article{DBLP:journals/stvr/MirzaAghaeiPP14,
    author = {Mehdi MirzaAghaei and Fabrizio Pastore and Mauro Pezz{\`{e}}},
    title = {Automatic test case evolution},
    journal = {Software Testing, Verification and Reliability},
    year = {2014},
    volume = {24},
    number = {5},
    pages = {386--411},
    }
  • L. Mariani, M. Pezzè, O. Riganelli, and M. Santoro, "Automatic testing of GUI-based applications," Software Testing, Verification and Reliability, vol. 24, iss. 5, pp. 341-366, 2014. | bibtex
    @article{DBLP:journals/stvr/MarianiPRS14,
    author = {Leonardo Mariani and Mauro Pezz{\`{e}} and Oliviero Riganelli and Mauro Santoro},
    title = {Automatic testing of GUI-based applications},
    journal = {Software Testing, Verification and Reliability},
    year = {2014},
    volume = {24},
    number = {5},
    pages = {341--366},
    }
  • G. C. Murphy and M. Pezzè, "Introduction to the Special Issue International Conference on Software Engineering (ICSE 2012)," ACM Transactions on Software Engineering and Methodology, vol. 23, iss. 4, p. 28, 2014. | bibtex
    @article{DBLP:journals/tosem/MurphyP14,
    author = {Gail C. Murphy and Mauro Pezz{\`{e}}},
    title = {Introduction to the Special Issue International Conference on Software Engineering {(ICSE} 2012)},
    journal = {{ACM} Transactions on Software Engineering and Methodology},
    year = {2014},
    volume = {23},
    number = {4},
    pages = {28},
    }

2013

  • H. Chang, L. Mariani, and M. Pezzè, "Exception Handlers for Healing Component-Based Systems," ACM Transactions on Software Engineering and Methodology, vol. 22, iss. 4, 2013. | bibtex
    @article{Cheng:Exceptions:TOSEM:2013,
    author = {Herv\'{e} Chang and Leonardo Mariani and Mauro Pezz\`{e}},
    title = {Exception Handlers for Healing Component-Based Systems},
    journal = {ACM Transactions on Software Engineering and Methodology},
    volume = {22},
    number = {4},
    year = {2013},
    publisher = {ACM},
    }
  • G. Denaro, M. Pezzè, and D. Tosi, "Test-and-Adapt: An Approach for Improving Service Interchangeability," ACM Transactions on Software Engineering and Methodology, vol. 22, iss. 4, 2013. | bibtex
    @article{Denaro:TestAndAdapt:TOSEM:2013,
    author = {Giovanni Denaro and Mauro Pezz\`{e} and Davide Tosi},
    title = {Test-and-Adapt: An Approach for Improving Service Interchangeability},
    journal = {ACM Transactions on Software Engineering and Methodology},
    volume = {22},
    number = {4},
    year = {2013},
    publisher = {ACM},
    }
  • A. Carzaniga, A. Gorla, A. Mattavelli, N. Perino, and M. Pezzè, "Automatic Recovery from Runtime Failures," in ICSE '13: Proceedings of the 34rd International Conference on Software Engineering, 2013. | bibtex
    @inproceedings{Carzaniga:AutomaticRecovery:ICSE:2013,
    author = {Antonio Carzaniga and Alessandra Gorla and Andrea Mattavelli and Nicol\`o Perino and Mauro Pezz\`{e}},
    title = {Automatic Recovery from Runtime Failures},
    booktitle = {ICSE '13: Proceedings of the 34rd International Conference on Software Engineering},
    year = {2013},
    }
  • A. Gambi, G. Toffetti, C. Pautasso, and M. Pezzè, "Kriging Controllers for Cloud Applications," IEEE Internet Computing, vol. 17, iss. 4, pp. 40-47, 2013. | bibtex
    @article{Gambi:Kriging:IC:2013,
    author = {Alessio Gambi and Giovanni Toffetti and Cesare Pautasso and Mauro Pezz{\`e}},
    journal = {IEEE Internet Computing},
    number = {4},
    pages = {40-47},
    title = {Kriging Controllers for Cloud Applications},
    volume = {17},
    year = {2013},
    }
  • M. Pezzè, K. Rubinov, and J. Wuttke, "Generating Effective Integration Test Cases from Unit Ones," in ICST '13: Proceedings of the 6th International Conference on Software Testing, Verification and Validation, 2013. | bibtex
    @inproceedings{Rubinov:IntegrationTesting:ICST:2013,
    author = {Pezz\`{e}, Mauro and Rubinov, Konstantin and Wuttke, Jochen},
    booktitle = {ICST '13: Proceedings of the 6th International Conference on Software Testing, Verification and Validation},
    title = {Generating Effective Integration Test Cases from Unit Ones},
    year = {2013},
    }
  • A. Gambi, G. Toffetti, and M. Pezzè, "Assurance of Self-adaptive Controllers for the Cloud," Assurances for Self-Adaptive Systems, vol. 7740, pp. 311-339, 2013. | bibtex
    @article{Gambi:Assurrance:2013,
    author = {Gambi, Alessio and Toffetti, Giovanni and Pezz\`{e}, Mauro},
    title = {Assurance of Self-adaptive Controllers for the Cloud},
    journal = {Assurances for Self-Adaptive Systems},
    volume = {7740},
    issn = {0302-9743},
    year = {2013},
    pages = {311-339},
    publisher = {Springer Berlin Heidelberg},
    }
  • International Symposium on Software Testing and Analysis, ISSTA 2013, July 15-20, 2013, Lugano, SwitzerlandACM, 2013. | bibtex
    @proceedings{DBLP:conf/issta/2013,
    booktitle = {ISSTA},
    editor = {Mauro Pezz{\`e} and Mark Harman},
    publisher = {ACM},
    title = {International Symposium on Software Testing and Analysis, ISSTA 2013, July 15-20, 2013, Lugano, Switzerland},
    year = {2013},
    }
  • P. Braione, G. Denaro, and M. Pezzè, "Enhancing symbolic execution with built-in term rewriting and constrained lazy initialization," in Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013, pp. 411-421. | bibtex
    @inproceedings{DBLP:conf/sigsoft/BraioneDP13,
    author = {Pietro Braione and Giovanni Denaro and Mauro Pezz{\`e}},
    booktitle = {Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering},
    pages = {411-421},
    title = {Enhancing symbolic execution with built-in term rewriting and constrained lazy initialization},
    year = {2013},
    }
  • C. Ghezzi, M. Pezzè, and G. Tamburrelli, "Adaptive REST applications via model inference and probabilistic model checking," in Proceedings of International Symposium on Integrated Network Management, 2013, pp. 1376-1382. | bibtex
    @inproceedings{DBLP:conf/im/GhezziPT13,
    author = {Carlo Ghezzi and Mauro Pezz{\`e} and Giordano Tamburrelli},
    booktitle = {Proceedings of International Symposium on Integrated Network Management},
    pages = {1376-1382},
    title = {Adaptive REST applications via model inference and probabilistic model checking},
    year = {2013},
    }
  • C. Ghezzi, M. Pezzè, and G. Tamburrelli, "Improving Interaction with Services via Probabilistic Piggybacking," in Proceedings of the 11th International Conference on Service-Oriented Computing, 2013, pp. 39-53. | bibtex
    @inproceedings{DBLP:conf/icsoc/GhezziPT13,
    author = {Carlo Ghezzi and Mauro Pezz{\`e} and Giordano Tamburrelli},
    booktitle = {Proceedings of the 11th International Conference on Service-Oriented Computing},
    pages = {39-53},
    title = {Improving Interaction with Services via Probabilistic Piggybacking},
    year = {2013},
    }
  • G. Toffetti and M. Pezzè, "Graph transformations and software engineering: Success stories and lost chances," Journal of Visual Languages and Computing, vol. 24, iss. 3, pp. 207-217, 2013. | bibtex
    @article{DBLP:journals/vlc/ToffettiP13,
    author = {Giovanni Toffetti and Mauro Pezz{\`{e}}},
    title = {Graph transformations and software engineering: Success stories and lost chances},
    journal = {Journal of Visual Languages and Computing},
    year = {2013},
    volume = {24},
    number = {3},
    pages = {207--217},
    }

2012

  • M. Mirzaaghaei, F. Pastore, and M. Pezzè, "Supporting Test Suite Evolution through Test Case Adaptation," in ICST '12: Proceedings of the 5th International Conference on Software Testing, Verification and Validation, 2012. | bibtex
    @inproceedings{Mirzaaghaei:TCA:ICST:2012,
    author = {Mirzaaghaei, Mehdi and Pastore, Fabrizio and Pezz\`{e}, Mauro},
    title = {Supporting Test Suite Evolution through Test Case Adaptation},
    booktitle = {ICST '12: Proceedings of the 5th International Conference on Software Testing, Verification and Validation},
    year = {2012},
    }
  • L. Mariani, M. Pezzè, O. Riganelli, and M. Santoro, "AutoBlackTest: Automatic Black-Box Testing of Interactive Applications," in ICST '12: Proceedings of the 5th International Conference on Software Testing, Verification and Validation, 2012. | bibtex
    @inproceedings{Mariani:AutoBlackTest:ICST:2012,
    author = {Mariani, Leonardo and Pezz\`{e}, Mauro and Riganelli, Oliviero and Santoro, Mauro},
    title = {AutoBlackTest: Automatic Black-Box Testing of Interactive Applications},
    booktitle = {ICST '12: Proceedings of the 5th International Conference on Software Testing, Verification and Validation},
    year = {2012},
    }
  • 34th International Conference on Software Engineering, ICSE 2012, June 2-9, 2012, Zurich, SwitzerlandIEEE, 2012. | bibtex
    @proceedings{DBLP:conf/icse/2012,
    booktitle = {ICSE},
    editor = {Martin Glinz and Gail C. Murphy and Mauro Pezz{\`e}},
    publisher = {IEEE},
    title = {34th International Conference on Software Engineering, ICSE 2012, June 2-9, 2012, Zurich, Switzerland},
    year = {2012},
    }
  • M. Pezzè, "From off-Line to continuous on-line maintenance," in ICSM '12: Proceedings of the 28th IEEE International Conference on Software Maintenance, 2012, pp. 2-3. | bibtex
    @inproceedings{Pezze:Continuous:ICSM:2012,
    author = {Mauro Pezz{\`e}},
    booktitle = {ICSM '12: Proceedings of the 28th IEEE International Conference on Software Maintenance},
    pages = {2-3},
    title = {From off-Line to continuous on-line maintenance},
    year = {2012},
    }

2011

  • L. Mariani, M. Pezzè, O. Riganelli, and M. Santoro, "AutoBlackTest: a tool for automatic black-box testing," in ICSE '11: Proceedings of the 33rd International Conference on Software Engineering, 2011, pp. 1013-1015. | bibtex
    @inproceedings{Mariani:AutoBlackTest:ICSErd:2011,
    author = {Mariani, Leonardo and Pezz\`{e}, Mauro and Riganelli, Oliviero and Santoro, Mauro},
    booktitle = {ICSE '11: Proceedings of the 33rd International Conference on Software Engineering},
    pages = {1013--1015},
    publisher = {{ACM}},
    title = {AutoBlackTest: a tool for automatic black-box testing},
    year = {2011},
    }
  • B. Daniel, Q. Luo, M. Mirzaaghaei, D. Dig, D. Marinov, and M. Pezzè, "Automated GUI refactoring and test script repair," in ETSE'11:Proceedings of the 1st International Workshop on End-to-End Test Script Engineering, 2011, pp. 38-41. | bibtex
    @inproceedings{Brett:Guirefactoring:ETSE:2011,
    author = {Daniel, Brett and Luo, Qingzhou and Mirzaaghaei, Mehdi and Dig, Danny and Marinov, Darko and Pezz\`{e}, Mauro},
    booktitle = {ETSE'11:Proceedings of the 1st International Workshop on End-to-End Test Script Engineering},
    pages = {38--41},
    publisher = {{ACM}},
    title = {Automated GUI refactoring and test script repair},
    year = {2011},
    }
  • M. Baluda, P. Braione, G. Denaro, and M. Pezzè, "Enhancing structural software coverage by incrementally computing branch executability," Software Quality Journal, vol. 19, iss. 4, pp. 725-751, 2011. | bibtex
    @article{baluda:structural:sqj:2011,
    author = {Baluda, Mauro and Braione, Pietro and Denaro, Giovanni and Pezz{\`e}, Mauro},
    journal = {Software Quality Journal},
    number = {4},
    pages = {725--751},
    publisher = {Springer Netherlands},
    title = {Enhancing structural software coverage by incrementally computing branch executability},
    volume = {19},
    year = {2011},
    }
  • L. Mariani, F. Pastore, and M. Pezzè, "Dynamic Analysis for Diagnosing Integration Faults," IEEE Transactions on Software Engineering, vol. 37, iss. 4, pp. 486-508, 2011. | bibtex
    @article{MarianiIEEE2011,
    author = {Mariani, Leonardo and Pastore, Fabrizio and Pezz\`e, Mauro},
    journal = {IEEE Transactions on Software Engineering},
    number = {4},
    pages = {486--508},
    title = {Dynamic Analysis for Diagnosing Integration Faults},
    volume = {37},
    year = {2011},
    }
  • B. Daniel, Q. Luo, M. Mirzaaghaei, D. Dig, D. Marinov, and M. Pezzè, "Automated GUI refactoring and test script repair," in ETSE '11: Proceedings of the 1st International Workshop on End-to-End Test Script Engineering, 2011. | bibtex
    @inproceedings{Daniel:2011:AGR:2002931.2002937,
    author = {Daniel, Brett and Luo, Qingzhou and Mirzaaghaei, Mehdi and Dig, Danny and Marinov, Darko and Pezz\`{e}, Mauro},
    title = {Automated GUI refactoring and test script repair},
    booktitle = {ETSE '11: Proceedings of the 1st International Workshop on End-to-End Test Script Engineering},
    year = {2011},
    }
  • L. Mariani, F. Pastore, M. Pezzè, and M. Santoro, "Mining Finite-State Automata with Annotations," in Mining Software Specifications: Methodologies and Applications, D. Lo, S. -C. Khoo, J. Han, and C. Liu, Eds., CRC Press, 2011, pp. 29-57. | bibtex
    @incollection{Mariani:Mining:CRC:2011,
    author = {Leonardo Mariani and Fabrizio Pastore and Mauro Pezz\`e and Mauro Santoro},
    booktitle = {Mining Software Specifications: Methodologies and Applications},
    editor = {David Lo and S.-C. Khoo and J. Han and C. Liu},
    pages = {29--57},
    publisher = {CRC Press},
    series = {Data Mining and Knowledge Discovery},
    title = {Mining Finite-State Automata with Annotations},
    year = {2011},
    }

2010

  • A. Carzaniga, A. Gorla, N. Perino, and M. Pezzè, "Automatic Workarounds for Web Applications," in FSE '10: Proceedings of the 18th Foundations of Software Engineering Conference, 2010, pp. 237-246. | bibtex
    @inproceedings{Carzaniga:AutomaticWorkaroundsWeb:FSE:2010,
    author = {Antonio Carzaniga and Alessandra Gorla and Nicol\`{o} Perino and Mauro Pezz\`{e}},
    booktitle = {FSE '10: Proceedings of the 18th Foundations of Software Engineering Conference},
    pages = {237--246},
    publisher = {{ACM}},
    title = {Automatic Workarounds for Web Applications},
    year = {2010},
    }
  • G. Toffetti, A. Gambi, M. Pezzè, and C. Pautasso, "Engineering autonomic controllers for virtualized web applications," in ICWE '10: Proceedings of the 10th International Conference on Web Engineering, 2010, pp. 66-80. | bibtex
    @inproceedings{Toffetti:2010:EAC:1884110.1884117,
    author = {Toffetti, Giovanni and Gambi, Alessio and Pezz\`{e}, Mauro and Pautasso, Cesare},
    booktitle = {ICWE '10: Proceedings of the 10th International Conference on Web Engineering},
    pages = {66--80},
    publisher = {Springer},
    title = {Engineering autonomic controllers for virtualized web applications},
    year = {2010},
    }
  • M. Mirzaaghaei, F. Pastore, and M. Pezzè, "Automatically repairing test cases for evolving method declarations," in ICSM '10: Proceedings of the 26th IEEE International Conference on Software Maintenance, 2010, pp. 1-5. | bibtex
    @inproceedings{Mirzaaghaei:2010:ART:1912607.1913356,
    author = {Mirzaaghaei, Mehdi and Pastore, Fabrizio and Pezz\`{e}, Mauro},
    booktitle = {ICSM '10: Proceedings of the 26th {IEEE} International Conference on Software Maintenance},
    pages = {1--5},
    publisher = {{IEEE}},
    title = {Automatically repairing test cases for evolving method declarations},
    year = {2010},
    }
  • L. Mariani, M. Pezzè, O. Riganelli, and M. Santoro, "SEIM: static extraction of interaction models," in PESOS '10: Proceedings of the 2nd International Workshop on Principles of Engineering Service-Oriented Systems, 2010, pp. 22-28. | bibtex
    @inproceedings{Mariani:2010:SSE:1808885.1808891,
    author = {Mariani, Leonardo and Pezz\`{e}, Mauro and Riganelli, Oliviero and Santoro, Mauro},
    booktitle = {PESOS '10: Proceedings of the 2nd International Workshop on Principles of Engineering Service-Oriented Systems},
    pages = {22--28},
    publisher = {{ACM}},
    title = {{SEIM}: static extraction of interaction models},
    year = {2010},
    }
  • A. Carzaniga, A. Gorla, N. Perino, and M. Pezzè, "RAW: Runtime Automatic Workarounds," in ICSE '10: Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering (Tool Demo), 2010, pp. 321-322. | bibtex
    @inproceedings{Carzaniga:RAW:ICSErd:2010,
    author = {Antonio Carzaniga and Alessandra Gorla and Nicol\`{o} Perino and Mauro Pezz\`{e}},
    booktitle = {ICSE '10: Proceedings of the 32nd {ACM}/{IEEE} International Conference on Software Engineering (Tool Demo)},
    pages = {321--322},
    publisher = {{ACM}},
    title = {{RAW}: Runtime Automatic Workarounds},
    year = {2010},
    }
  • A. Gambi, G. Toffetti, and M. Pezzè, "Protecting SLAs with surrogate models," in PESOS '10: Proceedings of the 2nd International Workshop on Principles of Engineering Service-Oriented Systems, 2010, pp. 71-77. | bibtex
    @inproceedings{Gambi:2010:PSS:1808885.1808900,
    author = {Gambi, Alessio and Toffetti, Giovanni and Pezz\`{e}, Mauro},
    booktitle = {PESOS '10: Proceedings of the 2nd International Workshop on Principles of Engineering Service-Oriented Systems},
    pages = {71--77},
    publisher = {{ACM}},
    title = {Protecting {SLAs} with surrogate models},
    year = {2010},
    }
  • M. Baluda, P. Braione, G. Denaro, and M. Pezzè, "Structural coverage of feasible code," in AST '10: Proceedings of the 5th Workshop on Automation of Software Test, 2010, pp. 59-66. | bibtex
    @inproceedings{Baluda:2010:SCF:1808266.1808275,
    author = {Baluda, Mauro and Braione, Pietro and Denaro, Giovanni and Pezz\`{e}, Mauro},
    booktitle = {AST '10: Proceedings of the 5th Workshop on Automation of Software Test},
    pages = {59--66},
    publisher = {{ACM}},
    title = {Structural coverage of feasible code},
    year = {2010},
    }
  • A. Gorla, L. Mariani, F. Pastore, M. Pezzè, and J. Wuttke, "Achieving Cost-Effective Software Reliability Through Self-Healing," Computing and Informatics, vol. 29, iss. 1, pp. 93-115, 2010. | bibtex
    @article{Gorla:CostEffectiveSelfHealing:CompInf:2010,
    author = {Alessandra Gorla and Leonardo Mariani and Fabrizio Pastore and Mauro Pezz\`{e} and Jochen Wuttke},
    journal = {Computing and Informatics},
    number = {1},
    pages = {93--115},
    title = {Achieving Cost-Effective Software Reliability Through Self-Healing},
    volume = {29},
    year = {2010},
    }

2009

  • D. Lo, L. Mariani, and M. Pezzè, "Automatic steering of behavioral model inference," 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, 2009, pp. 345-354. | bibtex
    @inproceedings{LoEtAl:AutomaticSteering:FSE:2009,
    author = {Lo, David and Mariani, Leonardo and Pezz\`{e}, Mauro},
    booktitle = {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},
    pages = {345--354},
    publisher = {{ACM}},
    title = {Automatic steering of behavioral model inference},
    year = {2009},
    }
  • H. Chang, L. Mariani, and M. Pezzè, "In-field healing of integration problems with COTS components," in ICSE '09: Proceedings of the 31st International Conference on Software Engineering, 2009, pp. 166-176. | bibtex
    @inproceedings{Chang:COTShealing:ICSE:2009,
    author = {Chang, Herve and Mariani, Leonardo and Pezz\`{e}, Mauro},
    booktitle = {ICSE '09: Proceedings of the 31st International Conference on Software Engineering},
    pages = {166--176},
    publisher = {{IEEE}},
    title = {In-field healing of integration problems with COTS components},
    year = {2009},
    }
  • L. Mariani, F. Pastore, and M. Pezzè, "A toolset for automated failure analysis," in ICSE '09: Proceedings of the 31st International Conference on Software Engineering, 2009, pp. 563-566. | bibtex
    @inproceedings{Mariani:AutomatedFailureAnalysis:ICSE:2009,
    author = {Mariani, Leonardo and Pastore, Fabrizio and Pezz\`e, Mauro},
    booktitle = {ICSE '09: Proceedings of the 31st International Conference on Software Engineering},
    pages = {563--566},
    publisher = {{IEEE}},
    title = {A toolset for automated failure analysis},
    year = {2009},
    }
  • A. Carzaniga, G. Denaro, M. Pezzè, J. Estublier, and A. L. Wolf, "Toward deeply adaptive societies of digital systems," in ICSE '09: 31st International Conference on Software Engineering, 2009, pp. 331-334. | bibtex
    @inproceedings{Carzaniga:AdaptiveSocieties:NIER:2009,
    author = {Antonio Carzaniga and Giovanni Denaro and Mauro Pezz\`{e} and Jacky Estublier and Alexander L. Wolf},
    booktitle = {ICSE '09: 31st International Conference on Software Engineering},
    pages = {331--334},
    publisher = {{IEEE}},
    title = {Toward deeply adaptive societies of digital systems},
    year = {2009},
    }
  • G. Denaro, M. Pezzè, and D. Tosi, "Ensuring interoperable service-oriented systems through engineered self-healing," 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, 2009, pp. 253-262. | bibtex
    @inproceedings{Denaro:InteroperableSOA:FSE:2009,
    author = {Denaro, Giovanni and Pezz\`{e}, Mauro and Tosi, Davide},
    booktitle = {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},
    pages = {253--262},
    publisher = {{ACM}},
    title = {Ensuring interoperable service-oriented systems through engineered self-healing},
    year = {2009},
    }
  • A. Gambi, M. Pezzè, and M. Young, "SLA Protection models for virtualized data centers," in SEAMS '09: Proceedings of the 4th Workshop on Software Engineering for Adaptive and Self-Managing Systems, 2009, pp. 10-19. | bibtex
    @inproceedings{Gambi:SLA:SEAMS:2009,
    author = {Gambi, Alessio and Pezz\`{e}, Mauro and Young, Michal},
    booktitle = {SEAMS '09: Proceedings of the 4th Workshop on Software Engineering for Adaptive and Self-Managing Systems},
    pages = {10--19},
    publisher = {{IEEE}},
    title = {SLA Protection models for virtualized data centers},
    year = {2009},
    }
  • A. Carzaniga, A. Gorla, and M. Pezzè, "Handling Software Faults with Redundancy," in Architecting Dependable Systems VI, R. de Lemos, J. -C. Fabre, C. Gacek, F. Gadducci, and M. H. ter Beek, Eds., Springer, 2009, pp. 148-171. | bibtex
    @incollection{Gorla:FaultHandlingSWRedundancy:ADS:2009,
    author = {Antonio Carzaniga and Alessandra Gorla and Mauro Pezz\`{e}},
    booktitle = {Architecting Dependable Systems VI},
    editor = {R. de Lemos and J.-C. Fabre and C. Gacek and F. Gadducci and M. H. ter Beek},
    pages = {148--171},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    title = {Handling Software Faults with Redundancy},
    year = {2009},
    }
  • M. Pezzè and J. Wuttke, "Automatic Generation of Runtime Failure Detectors from Property Templates," in Software Engineering for Self-Adaptive Systems, B. H. Cheng, R. Lemos, H. Giese, P. Inverardi, and J. Magee, Eds., Berlin, Heidelberg: Springer, 2009, pp. 223-240. | bibtex
    @incollection{Pezze:2009:AGR:1573856.1573872,
    address = {Berlin, Heidelberg},
    author = {Pezz\`{e}, Mauro and Wuttke, Jochen},
    booktitle = {Software Engineering for Self-Adaptive Systems},
    editor = {Cheng, Betty H. and Lemos, Rog\'{e}rio and Giese, Holger and Inverardi, Paola and Magee, Jeff},
    numpages = {18},
    pages = {223--240},
    publisher = {Springer},
    title = {Automatic Generation of Runtime Failure Detectors from Property Templates},
    year = {2009},
    }
  • Y. Brun, G. Marzo Serugendo, C. Gacek, H. Giese, H. Kienle, M. Litoiu, H. Müller, M. Pezzè, and M. Shaw, "Engineering Self-Adaptive Systems through Feedback Loops," in Software Engineering for Self-Adaptive Systems, B. H. Cheng, R. Lemos, H. Giese, P. Inverardi, and J. Magee, Eds., Springer, 2009, pp. 48-70. | bibtex
    @incollection{Brun:2009:ESS:1573856.1573860,
    author = {Brun, Yuriy and Marzo Serugendo, Giovanna and Gacek, Cristina and Giese, Holger and Kienle, Holger and Litoiu, Marin and M\"{u}ller, Hausi and Pezz\`{e}, Mauro and Shaw, Mary},
    booktitle = {Software Engineering for Self-Adaptive Systems},
    editor = {Cheng, Betty H. and Lemos, Rog\'{e}rio and Giese, Holger and Inverardi, Paola and Magee, Jeff},
    pages = {48--70},
    publisher = {Springer},
    title = {Engineering Self-Adaptive Systems through Feedback Loops},
    year = {2009},
    }
  • D. Tosi, G. Denaro, and M. Pezze, "Towards autonomic service-oriented applications," International Journal of Autonomic Computing (IJAC), vol. 1, iss. 1, pp. 58-80, 2009. | bibtex
    @article{Tosi:AutonomicSOA:IJAC:2009,
    author = {Tosi, Davide and Denaro, Giovanni and Pezze, Mauro},
    number = {1},
    journal = {International Journal of Autonomic Computing {(IJAC)}},
    pages = {58--80},
    publisher = {Inderscience Publishers},
    title = {Towards autonomic service-oriented applications},
    volume = {1},
    year = {2009},
    }
  • G. Denaro, A. Gorla, and M. Pezzè, "DaTeC: Dataflow Testing of Java Classes," in ICSE '09: Proceedings of the 31st International Conference on Software Engineering (Tool Demo), 2009, pp. 421-422. | bibtex
    @inproceedings{Gorla:DaTeC:ICSErd:2009,
    author = {Giovanni Denaro and Alessandra Gorla and Mauro Pezz\`{e}},
    booktitle = {ICSE '09: Proceedings of the 31st International Conference on Software Engineering (Tool Demo)},
    pages = {421--422},
    publisher = {{ACM}},
    title = {DaTeC: Dataflow Testing of Java Classes},
    year = {2009},
    }
  • M. Pezzè and J. Wuttke, "LuMiNous -- model-driven assertion generation for runtime failure detection," in ICSE '09: Proceedings of the 31st International Conference on Software Engineering (Tool Demo), 2009, pp. 411-412. | bibtex
    @inproceedings{Pezze:Luminous:ICSErd:2009,
    author = {Pezz\`{e}, Mauro and Wuttke, Jochen},
    booktitle = {ICSE '09: Proceedings of the 31st International Conference on Software Engineering (Tool Demo)},
    pages = {411--412},
    publisher = {{IEEE}},
    title = {LuMiNous -- model-driven assertion generation for runtime failure detection},
    year = {2009},
    }

2008

  • L. Lambers, L. Mariani, H. Ehrig, and M. Pezzè, "A Formal Framework for Developing Adaptable Service- Based Applications," in FASE '08: Proceedings of the 11th International Conference on Fundamental Approaches to Software Engineering, 2008, pp. 392-406. | bibtex
    @inproceedings{Lambers:Adaptable:FASE:2008,
    author = {Leen Lambers and Leonardo Mariani and Hartmut Ehrig and Mauro Pezz\`{e}},
    booktitle = {FASE '08: Proceedings of the 11th International Conference on Fundamental Approaches to Software Engineering},
    pages = {392--406},
    publisher = {Springer},
    title = {A Formal Framework for Developing Adaptable Service- Based Applications},
    year = {2008},
    }
  • L. Mariani and M. Pezzè, "Testing Object Oriented Software," in Emerging Methods, Technologies and Process Management in Software Engineering, D. A. Lucia, F. Ferrucci, G. Tortora, and M. Tucci, Eds., Wiley-IEEE Press, 2008, pp. 85-108. | bibtex
    @incollection{Mariani:TestingOO:Wiley:2008,
    author = {Leonardo Mariani and Mauro Pezz\`{e}},
    booktitle = {Emerging Methods, Technologies and Process Management in Software Engineering},
    editor = {A. De Lucia and F. Ferrucci and G. Tortora and M. Tucci},
    pages = {85--108},
    publisher = {Wiley-IEEE Press},
    title = {Testing Object Oriented Software},
    year = {2008},
    }
  • A. Carzaniga, A. Gorla, and M. Pezzè, "Healing Web applications through automatic workarounds," International Journal on Software Tools for Technology Transfer (STTT), vol. 10, iss. 6, pp. 493-502, 2008. | bibtex
    @article{Carzaniga:HealingWebApplications:STTT:2008,
    author = {Antonio Carzaniga and Alessandra Gorla and Mauro Pezz\`{e}},
    journal = {International Journal on Software Tools for Technology Transfer (STTT)},
    number = {6},
    pages = {493--502},
    title = {Healing Web applications through automatic workarounds},
    volume = {10},
    year = {2008},
    }
  • D. Lorenzoli, L. Mariani, and M. Pezzè, "Automatic Generation of Software Behavioral Models," in ICSE '08: Proceedings of the 30th International Conference on Software Engineering, 2008. | bibtex
    @inproceedings{LorenzoliEtAl:AutomaticGeneration:ICSE:2008,
    author = {Davide Lorenzoli and Leonardo Mariani and Mauro Pezz\`{e}},
    booktitle = {ICSE '08: Proceedings of the 30th International Conference on Software Engineering},
    publisher = {{IEEE}},
    title = {Automatic Generation of Software Behavioral Models},
    year = {2008},
    }
  • G. Denaro, A. Gorla, and M. Pezzè, "Contextual Integration Testing of Classes," in FASE '08: Proceedings of the 11th International Conference on Fundamental Approaches to Software Engineering, 2008, pp. 246-260. | bibtex
    @inproceedings{Denaro:Contextual:FASE:2008,
    author = {Giovanni Denaro and Alessandra Gorla and Mauro Pezz\`{e}},
    booktitle = {FASE '08: Proceedings of the 11th International Conference on Fundamental Approaches to Software Engineering},
    publisher = {Springer},
    pages = {246--260},
    title = {Contextual Integration Testing of Classes},
    year = {2008},
    }
  • H. Muller, M. Pezzè, and M. Shaw, "Visibility of Control in Adaptive Systems," in ULSSIS '08: Proceedings of the 2nd International Workshop on Ultra-Large-Scale Software-Intensive Systems, 2008, pp. 23-26. | bibtex
    @inproceedings{Muller:VisibilityControl:ULSSIS:2008,
    author = {Hausi Muller and Mauro Pezz\`{e} and Mary Shaw},
    booktitle = {ULSSIS '08: Proceedings of the 2nd International Workshop on Ultra-Large-Scale Software-Intensive Systems},
    pages = {23--26},
    publisher = {{ACM}},
    title = {Visibility of Control in Adaptive Systems},
    year = {2008},
    }
  • H. Chang, L. Mariani, and M. Pezzè, "Self-Healing Strategies for Component Integration Faults," in ARAMIS '08: Proceedings of the 1st International Workshop on Automated Engineering of Autonomous and run-tiMe evolvIng Systems, 2008. | bibtex
    @inproceedings{Chang:HealigCOTS:ARAMIS:2008,
    author = {Herv\`e Chang and Leonardo Mariani and Mauro Pezz\`{e}},
    booktitle = {ARAMIS '08: Proceedings of the 1st International Workshop on Automated Engineering of Autonomous and run-tiMe evolvIng Systems},
    publisher = {{IEEE}},
    title = {Self-Healing Strategies for Component Integration Faults},
    year = {2008},
    }
  • A. Carzaniga, A. Gorla, and M. Pezzè, "Self-Healing by Means of Automatic Workarounds," in SEAMS '08: Proceedings of the 5th International Workshop on Software Engineering for Adaptive and Self-Managing Systems, 2008, pp. 17-24. | bibtex
    @inproceedings{Carzaniga:AutomaticWorkarounds:SEAMS:2008,
    author = {Antonio Carzaniga and Alessandra Gorla and Mauro Pezz\`{e}},
    booktitle = {SEAMS '08: Proceedings of the 5th International Workshop on Software Engineering for Adaptive and Self-Managing Systems},
    pages = {17--24},
    publisher = {{ACM}},
    title = {Self-Healing by Means of Automatic Workarounds},
    year = {2008},
    }

2007

  • G. Denaro, M. Pezzè, and D. Tosi, "Designing Self-Adaptive Service-Oriented Applications," in ICAC '07: Proceedings of the 4th IEEE International Conference on Autonomic Computing, 2007, p. 16. | bibtex
    @inproceedings{Denaro:DesigningSelfAdaptive:ICAC:2007,
    author = {Giovanni Denaro and Mauro Pezz\`{e} and Davide Tosi},
    booktitle = {ICAC '07: Proceedings of the 4th {IEEE} International Conference on Autonomic Computing},
    pages = {16},
    publisher = {{IEEE}},
    title = {Designing Self-Adaptive Service-Oriented Applications},
    year = {2007},
    }
  • L. Lambers, H. Ehrig, L. Mariani, and M. Pezzè, "Iterative Model-driven Development of Adaptable Service-Based Applications," in ASE '07: Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering, 2007. | bibtex
    @inproceedings{Lambers:IterativeModelDriven:ASE:2007,
    author = {Leen Lambers and Hartmut Ehrig and Leonardo Mariani and Mauro Pezz\`{e}},
    booktitle = {ASE '07: Proceedings of the 22nd {IEEE}/{ACM} International Conference on Automated Software Engineering},
    publisher = {ACM},
    title = {Iterative Model-driven Development of Adaptable Service-Based Applications},
    year = {2007},
    }
  • D. Lorenzoli, L. Mariani, and M. Pezzè, "Towards Self-Protecting Enterprise Applications," in ISSRE '07: Proceedings of the 18th IEEE International Symposium on Software Reliability Engineering, 2007, pp. 181-190. | bibtex
    @inproceedings{Lorenzoli:Self-Protecting:ISSRE:2007,
    author = {Davide Lorenzoli and Leonardo Mariani and Mauro Pezz\`{e}},
    booktitle = {ISSRE '07: Proceedings of the 18th {IEEE} International Symposium on Software Reliability Engineering},
    pages = {181--190},
    publisher = {{IEEE}},
    title = {Towards Self-Protecting Enterprise Applications},
    year = {2007},
    }
  • L. Mariani and M. Pezzè, "Dynamic Detection of COTS Component Incompatibility," IEEE Software, vol. 24, iss. 5, pp. 76-85, 2007. | bibtex
    @article{Mariani:DynamicDetection:IEEESW:2007,
    address = {Los Alamitos, CA, USA},
    author = {Leonardo Mariani and Mauro Pezz\`{e}},
    journal = {IEEE Software},
    number = {5},
    pages = {76--85},
    publisher = {IEEE Press},
    title = {Dynamic Detection of COTS Component Incompatibility},
    volume = {24},
    year = {2007},
    }
  • G. Denaro, M. Pezzè, and D. Tosi, "SHIWS: A Self-Healing Integrator for Web Services," in ICSE '07: Proceedings of the 29th International Conference on Software Engineering, 2007, pp. 55-56. | bibtex
    @inproceedings{Denaro:Shiws:ICSEComp:2007,
    author = {Giovanni Denaro and Mauro Pezz\`{e} and Davide Tosi},
    booktitle = {ICSE '07: Proceedings of the 29th International Conference on Software Engineering},
    pages = {55--56},
    publisher = {{IEEE}},
    title = {SHIWS: A Self-Healing Integrator for Web Services},
    year = {2007},
    }
  • L. Mariani, S. Papagiannakis, and M. Pezzè, "Compatibility and Regression Testing of COTS-Component-Based Software," in ICSE '07: Proceedings of the 29th International Conference on Software Engineering, 2007, pp. 85-95. | bibtex
    @inproceedings{Marini:CompatibilityRegression:ICSE:2007,
    author = {Leonardo Mariani and Sofia Papagiannakis and Mauro Pezz\`{e}},
    booktitle = {ICSE '07: Proceedings of the 29th International Conference on Software Engineering},
    pages = {85--95},
    publisher = {{IEEE}},
    title = {Compatibility and Regression Testing of COTS-Component-Based Software},
    year = {2007},
    }
  • M. Pezzè and M. Young, Software Testing and Analysis: Process, Principles and Techniques, Wiley, 2007. | bibtex
    @book{pezze:SWTesting:book:2007,
    author = {Mauro Pezz{\`e} and Michal Young},
    howpublished = {Paperback},
    isbn = {0471455938},
    publisher = {Wiley},
    title = {Software Testing and Analysis: Process, Principles and Techniques},
    year = {2007},
    }

2006

  • G. Denaro, M. Pezzè, D. Tosi, and D. Schilling, "Towards Self-Adaptive Service-Oriented Architectures," in TAV-WEB '06: Proceedings of the 2006 Workshop on Testing, Analysis, and Verification of Web Services and Applications, 2006, pp. 10-16. | bibtex
    @inproceedings{Denaro:TowardSelfAdaptive:TAVWEB:2006,
    author = {Giovanni Denaro and Mauro Pezz\`{e} and Davide Tosi and Daniela Schilling},
    booktitle = {TAV-WEB '06: Proceedings of the 2006 Workshop on Testing, Analysis, and Verification of Web Services and Applications},
    pages = {10--16},
    publisher = {{ACM}},
    title = {Towards Self-Adaptive Service-Oriented Architectures},
    year = {2006},
    }
  • L. Baresi and M. Pezzè, "An Introduction to Software Testing," Electronic Notes in Theoretical Computer Science, vol. 148, iss. 1, pp. 89-111, 2006. | bibtex
    @article{Baresi:IntroductionTesting:ElectrNotes:2006,
    author = {Luciano Baresi and Mauro Pezz\`{e}},
    journal = {Electronic Notes in Theoretical Computer Science},
    number = {1},
    pages = {89--111},
    title = {An Introduction to Software Testing},
    volume = {148},
    year = {2006},
    }
  • D. Lorenzoli, L. Mariani, and M. Pezzè, "Inferring State-Based Behavior Models," in WODA '06: Proceedings of the 4th International Workshop on Dynamic Systems Analysis, 2006, pp. 25-32. | bibtex
    @inproceedings{Lorenzoli:InferringBehavior:WODA:2006,
    author = {Davide Lorenzoli and Leonardo Mariani and Mauro Pezz\`{e}},
    booktitle = {WODA '06: Proceedings of the 4th International Workshop on Dynamic Systems Analysis},
    pages = {25--32},
    publisher = {{ACM}},
    title = {Inferring State-Based Behavior Models},
    year = {2006},
    }

2005

  • G. Denaro, M. Pezzè, and D. Tosi, "Adaptive Integration of Third-Party Web Services," in DEAS '05: Proceedings of the 2005 workshop on Design and Evolution of Autonomic Application Software, 2005, pp. 1-6. | bibtex
    @inproceedings{Denaro:AdaptiveIntegration:DEAS:2005,
    author = {Giovanni Denaro and Mauro Pezz\`{e} and Davide Tosi},
    booktitle = {DEAS '05: Proceedings of the 2005 workshop on Design and Evolution of Autonomic Application Software},
    pages = {1--6},
    publisher = {{ACM}},
    title = {Adaptive Integration of Third-Party Web Services},
    year = {2005},
    }
  • L. Baresi and M. Pezzè, "From Graph Transformation to Software Engineering and Back," in Formal Methods in Software and Systems Modeling, 2005, pp. 24-37. | bibtex
    @inproceedings{Baresi:FromGraphTransformation:FM:2005,
    author = {Luciano Baresi and Mauro Pezz\`{e}},
    booktitle = {Formal Methods in Software and Systems Modeling},
    pages = {24--37},
    title = {From Graph Transformation to Software Engineering and Back},
    publisher = {Springer},
    year = {2005},
    }
  • L. Mariani and M. Pezzè, "Behavior Capture and Test: Automated Analysis of Component Integration," in ICECCS '05: Proceedings of the 10th IEEE International Conference on Engineering of Complex Computer Systems, 2005, pp. 292-301. | bibtex
    @inproceedings{Mariani:BehaviorCapture:ICECCS:2005,
    author = {Leonardo Mariani and Mauro Pezz\`{e}},
    booktitle = {ICECCS '05: Proceedings of the 10th {IEEE} International Conference on Engineering of Complex Computer Systems},
    pages = {292--301},
    publisher = {{IEEE}},
    title = {Behavior Capture and Test: Automated Analysis of Component Integration},
    year = {2005},
    }
  • M. Pezzè, D. Tosi, and G. P. Picco, "Scavenging Complex Genomic Information Using Mobile Code: An Evaluation," in ICECCS '05: Proceedings of the 10th IEEE International Conference on Engineering of Complex Computer Systems, 2005, pp. 569-578. | bibtex
    @inproceedings{Pezze:ScavengingComplex:ICECCS:2005,
    author = {Mauro Pezz\`{e} and Davide Tosi and Gian Pietro Picco},
    booktitle = {ICECCS '05: Proceedings of the 10th {IEEE} International Conference on Engineering of Complex Computer Systems},
    pages = {569--578},
    title = {Scavenging Complex Genomic Information Using Mobile Code: An Evaluation},
    year = {2005},
    }
  • M. Pezzè, "Preface," Electronic Notes in Theoretical Computer Science, vol. 116, pp. 1-2, 2005. | bibtex
    @article{Pezze:Preface:Electr.Notes:2005,
    author = {Mauro Pezz\`{e}},
    journal = {Electronic Notes in Theoretical Computer Science},
    pages = {1--2},
    title = {Preface},
    volume = {116},
    year = {2005},
    }
  • M. Pezzè, A. Baldini, G. Denaro, G. Lipari, M. Rossi, and D. Rogai, "QUACK: A Platform for the Quality of New Generation Integrated Embedded Systems," Electronic Notes in Theoretical Computer Science, vol. 116, pp. 113-131, 2005. | bibtex
    @article{Pezze:Quack:Electr.Notes:2005,
    author = {Mauro Pezz\`{e} and Andrea Baldini and Giovanni Denaro and Giuseppe Lipari and Matteo Rossi and Davide Rogai},
    journal = {Electronic Notes in Theoretical Computer Science},
    pages = {113--131},
    title = {QUACK: A Platform for the Quality of New Generation Integrated Embedded Systems},
    volume = {116},
    publisher = {Elsevier},
    year = {2005},
    }
  • L. Mariani and M. Pezzè, "A Technique for Verifying Component-Based Software," Electronic Notes in Theoretical Computer Science, vol. 116, pp. 17-30, 2005. | bibtex
    @article{Mariani:TechniqueVerifying:ElectrNotes:2005,
    author = {Leonardo Mariani and Mauro Pezz\`{e}},
    journal = {Electronic Notes in Theoretical Computer Science},
    pages = {17--30},
    title = {A Technique for Verifying Component-Based Software},
    volume = {116},
    year = {2005},
    }
  • G. Denaro, L. Mariani, M. Pezzè, and D. Tosi, "Adaptive Runtime Verification for Autonomic Communication Infrastructures," in ACC '05: Proceedings of the 1st International IEEE WoWMoM Workshop on Autonomic Communications and Computing, 2005, pp. 553-557. | bibtex
    @inproceedings{Denaro:AdaptiveRuntime:WoWMoM:2005,
    author = {Giovanni Denaro and Leonardo Mariani and Mauro Pezz\`{e} and Davide Tosi},
    booktitle = {ACC '05: Proceedings of the 1st International IEEE WoWMoM Workshop on Autonomic Communications and Computing},
    pages = {553--557},
    publisher = {{IEEE}},
    title = {Adaptive Runtime Verification for Autonomic Communication Infrastructures},
    year = {2005},
    }
  • L. Baresi and M. Pezzè, "Formal Interpreters for Diagram Notations," ACM Transactions on Software Engineering and Methodology, vol. 14, iss. 1, pp. 42-84, 2005. | bibtex
    @article{Baresi:FormalInterpreters:TOSEM:2005,
    address = {New York, NY, USA},
    author = {Luciano Baresi and Mauro Pezz\`{e}},
    journal = {ACM Transactions on Software Engineering and Methodology},
    number = {1},
    pages = {42--84},
    publisher = {ACM},
    title = {Formal Interpreters for Diagram Notations},
    volume = {14},
    year = {2005},
    }
  • L. Baresi and M. Pezzè, "Petri Nets as Semantic Domain for Diagram Notations," Electronic Notes in Theoretical Computer Science, vol. 127, iss. 2, pp. 29-44, 2005. | bibtex
    @article{Baresi:PetriNets:ElectrNotes:2005,
    author = {Luciano Baresi and Mauro Pezz\`{e}},
    journal = {Electronic Notes in Theoretical Computer Science},
    number = {2},
    pages = {29--44},
    title = {Petri Nets as Semantic Domain for Diagram Notations},
    volume = {127},
    year = {2005},
    }

2004

  • M. Pezzè and M. Young, "Testing Object Oriented Software," in ICSE '04: Proceedings of the 26th International Conference on Software Engineering, 2004, pp. 739-740. | bibtex
    @inproceedings{Pezze:TestingOO:ICSE:2004,
    author = {Mauro Pezz\`{e} and Michal Young},
    booktitle = {ICSE '04: Proceedings of the 26th International Conference on Software Engineering},
    pages = {739--740},
    publisher = {{IEEE}},
    title = {Testing Object Oriented Software},
    year = {2004},
    }
  • L. Mariani, M. Pezzè, and D. Willmor, "Generation of Integration Tests for Self-Testing Components," in ITM '04: Proceedings of the 1st International Workshop on Integration of Testing Methodologies, 2004, pp. 337-'350. | bibtex
    @inproceedings{Mariani:GenerationIntergation:ITM:2004,
    author = {Leonardo Mariani and Mauro Pezz\`{e} and David Willmor},
    booktitle = {ITM '04: Proceedings of the 1st International Workshop on Integration of Testing Methodologies},
    pages = {337-'350},
    publisher = {Springer},
    title = {Generation of Integration Tests for Self-Testing Components},
    year = {2004},
    }
  • G. Denaro and M. Pezzè, "Petri Nets and Software Engineering," in Lectures on Concurrency and Petri Nets, J. Desel, W. Reisig, and G. Rozenberg, Eds., Springer, 2004, pp. 439-466. | bibtex
    @incollection{Denaro:PetriNets:LectConcurrency:2003,
    author = {Giovanni Denaro and Mauro Pezz\`{e}},
    booktitle = {Lectures on Concurrency and Petri Nets},
    editor = {J. Desel and W. Reisig and G. Rozenberg},
    pages = {439-466},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    title = {Petri Nets and Software Engineering},
    year = {2004},
    }

2003

  • G. Denaro, M. Pezzè, and S. Morasca, "Towards Industrially Relevant Fault-Proneness Models," International Journal of Software Engineering and Knowledge Engineering, vol. 13, iss. 4, pp. 395-417, 2003. | bibtex
    @article{Denaro:IndustriallyRelevant:JSEKE:2003,
    author = {Giovanni Denaro and Mauro Pezz\`{e} and Sandro Morasca},
    journal = {International Journal of Software Engineering and Knowledge Engineering},
    number = {4},
    pages = {395--417},
    title = {Towards Industrially Relevant Fault-Proneness Models},
    volume = {13},
    year = {2003},
    }
  • M. Pezzè, "Preface," Electronic Notes in Theoretical Computer Science, vol. 82, iss. 6, 2003. | bibtex
    @article{Pezze:Preface:ElectrNotes:2003,
    author = {Mauro Pezz\`{e}},
    journal = {Electronic Notes in Theoretical Computer Science},
    number = {6},
    title = {Preface},
    volume = {82},
    year = {2003},
    }
  • A. Baldini, P. Prinetto, G. Denaro, and M. Pezzè, "Design for Testability for Highly Reconfigurable Component-Based Systems," Electronic Notes in Theoretical Computer Science, vol. 82, iss. 6, pp. 199-208, 2003. | bibtex
    @article{Baldini:DFT:TACoS:2003,
    author = {Andrea Baldini and Paolo Prinetto and Giovanni Denaro and Mauro Pezz\`{e}},
    booktitle = {TACoS '03: Proceedings of the International Workshop on Test and Analysis of Component-Based Systems},
    journal = {Electronic Notes in Theoretical Computer Science},
    number = {6},
    title = {Design for Testability for Highly Reconfigurable Component-Based Systems},
    pages = {199--208},
    publisher = {Elsevier},
    volume = {82},
    year = {2003},
    }
  • G. Denaro, L. Mariani, and M. Pezzè, "Self-Test Components for Highly Reconfigurable Systems," Electronic Notes in Theoretical Computer Science, vol. 82, iss. 6, pp. 89-98, 2003. | bibtex
    @article{Denaro:SelfTestComponents:TACoS:2003,
    author = {Giovanni Denaro and Leonardo Mariani and Mauro Pezz\`{e}},
    booktitle = {TACoS '03: Proceedings of the 2003 International Workshop on Test and Analysis of Component-Based Systems},
    journal = {Electronic Notes in Theoretical Computer Science},
    number = {6},
    title = {Self-Test Components for Highly Reconfigurable Systems},
    pages = {89--98},
    publisher = {Elsevier},
    volume = {82},
    year = {2003},
    }
  • M. Pezzè and B. Schafer, "Research Demonstrations and Posters," in ICSE '03: Proceedings of the 25th International Conference on Software Engineering, 2003, pp. 800-801. | bibtex
    @inproceedings{Pezze:DemoPosters:ICSE:2003,
    author = {Mauro Pezz\`{e} and Bruce Schafer},
    booktitle = {ICSE '03: Proceedings of the 25th International Conference on Software Engineering},
    pages = {800--801},
    publisher = {{IEEE}},
    title = {Research Demonstrations and Posters},
    year = {2003},
    }

2002

  • G. Denaro and M. Pezzè, "An Empirical Evaluation of Fault-Proneness Models," in ICSE '02: Proceedings of the 24th International Conference on Software Engineering, 2002, pp. 241-251. | bibtex
    @inproceedings{Denaro:EmpiricalEvaluation:ICSE:2002,
    author = {Giovanni Denaro and Mauro Pezz\`{e}},
    booktitle = {ICSE '02: Proceedings of the 24th International Conference on Software Engineering},
    pages = {241--251},
    publisher = {{ACM}},
    title = {An Empirical Evaluation of Fault-Proneness Models},
    year = {2002},
    }
  • V. Martena, A. Orso, and M. Pezzè, "Interclass Testing of Object Oriented Software," in Proceedings of the 8th IEEE International Conference on Engineering of Complex Computer Systems, 2002, pp. 135-144. | bibtex
    @inproceedings{Martena:InterclassTesting:ICECCS:2002,
    author = {Vincenzo Martena and Alessandro Orso and Mauro Pezz\`{e}},
    booktitle = {Proceedings of the 8th {IEEE} International Conference on Engineering of Complex Computer Systems},
    pages = {135--144},
    publisher = {{IEEE}},
    series = {ICECCS '02},
    title = {Interclass Testing of Object Oriented Software},
    year = {2002},
    }
  • L. Baresi and M. Pezzè, "A Toolbox for Automating Visual Software Engineering," in FASE '02: Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering, 2002, pp. 189-202. | bibtex
    @inproceedings{Baresi:Toolbox:FASE:2002,
    author = {Luciano Baresi and Mauro Pezz\`{e}},
    booktitle = {FASE '02: Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering},
    publisher = {Springer},
    pages = {189--202},
    title = {A Toolbox for Automating Visual Software Engineering},
    year = {2002},
    }
  • L. Baresi, M. Mauri, and M. Pezzè, "PLCTools: Graph Transformation Meets PLC Design," Electronic Notes in Theoretical Computer Science, vol. 72, iss. 2, pp. 79-89, 2002. | bibtex
    @article{Baresi:PLCTools:ElectrNotes:2002,
    author = {Luciano Baresi and Marco Mauri and Mauro Pezz\`{e}},
    journal = {Electronic Notes in Theoretical Computer Science},
    number = {2},
    pages = {79--89},
    title = {PLCTools: Graph Transformation Meets PLC Design},
    volume = {72},
    year = {2002},
    }
  • G. Denaro, S. Morasca, and M. Pezzè, "Deriving Models of Software Fault-Proneness," in SEKE '02: Proceedings of the 14th International Conference on Software Engineering and Knowledge Engineering, 2002, pp. 361-368. | bibtex
    @inproceedings{Denaro:DerivingModels:SEKE:2002,
    author = {Giovanni Denaro and Sandro Morasca and Mauro Pezz\`{e}},
    booktitle = {SEKE '02: Proceedings of the 14th International Conference on Software Engineering and Knowledge Engineering},
    pages = {361--368},
    publisher = {{ACM}},
    title = {Deriving Models of Software Fault-Proneness},
    year = {2002},
    }
  • M. Felder and M. Pezzè, "A Formal Design Notation for Real-Time Systems," ACM Transactions on Software Engineering and Methodology, vol. 11, iss. 2, pp. 149-190, 2002. | bibtex
    @article{Felder:FormalDesignNotation:TOSEM:2002,
    address = {New York, NY, USA},
    author = {Miguel Felder and Mauro Pezz\`{e}},
    journal = {ACM Transactions on Software Engineering and Methodology},
    number = {2},
    pages = {149--190},
    publisher = {ACM},
    title = {A Formal Design Notation for Real-Time Systems},
    volume = {11},
    year = {2002},
    }

2001

  • A. Coen-Porisini, G. Denaro, C. Ghezzi, and M. Pezzè, "Using Symbolic Execution for Verifying Safety-Critical Systems," in ESEC/FSE '01: Proceedings of the 8th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on Foundations of Software Engineering, 2001, pp. 142-151. | bibtex
    @inproceedings{Coen-Porisini:UsingSymbolicExecution:FSE:2001,
    author = {Alberto Coen-Porisini and Giovanni Denaro and Carlo Ghezzi and Mauro Pezz\`{e}},
    booktitle = {ESEC/FSE '01: Proceedings of the 8th Joint Meeting of the European Software Engineering Conference and the {ACM} SIGSOFT Symposium on Foundations of Software Engineering},
    pages = {142--151},
    publisher = {{ACM}},
    title = {Using Symbolic Execution for Verifying Safety-Critical Systems},
    year = {2001},
    }
  • L. Baresi and M. Pezzè, "On Formalizing UML with High-Level Petri Nets," in Concurrent object-oriented programming and petri nets, G. A. Agha, F. De Cindio, and G. Rozenberg, Eds., Springer, 2001, pp. 276-304. | bibtex
    @incollection{Baresi:FormalizingUML:Concurrent:2001,
    author = {Luciano Baresi and Mauro Pezz\`{e}},
    booktitle = {Concurrent object-oriented programming and petri nets},
    editor = {Agha, Gul A. and De Cindio, Fiorella and Rozenberg, Grzegorz},
    pages = {276--304},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    title = {On Formalizing UML with High-Level Petri Nets},
    year = {2001},
    }
  • M. Pezzè and S. M. Shatz, "Editorial," Computer Systems Science and Engineering, vol. 16, iss. 3, pp. 151-152, 2001. | bibtex
    @article{Pezze:Editorial:Computer:2001,
    author = {Mauro Pezz\`{e} and Sol M. Shatz},
    journal = {Computer Systems Science and Engineering},
    number = {3},
    pages = {151--152},
    title = {Editorial},
    volume = {16},
    year = {2001},
    }
  • L. Baresi and M. Pezzè, "Improving UML with Petri nets," Electronic Notes in Theoretical Computer Science, vol. 44, iss. 4, pp. 107-119, 2001. | bibtex
    @article{Baresi:ImprovingUML:ElectrNotes:2001,
    author = {Luciano Baresi and Mauro Pezz\`{e}},
    journal = {Electronic Notes in Theoretical Computer Science},
    number = {4},
    pages = {107--119},
    title = {Improving UML with Petri nets},
    volume = {44},
    year = {2001},
    }
  • L. Baresi, M. Pezzè, and G. Taentzer, "Introduction - Graph Transformation and Visual Modeling Techniques - GT-VMT 2001," Electronic Notes in Theoretical Computer Science, vol. 50, iss. 3, 2001. | bibtex
    @article{Baresi:GraphTransformation:ElectrNotes:2001,
    author = {Luciano Baresi and Mauro Pezz\`{e} and Gabriele Taentzer},
    journal = {Electronic Notes in Theoretical Computer Science},
    number = {3},
    title = {Introduction - Graph Transformation and Visual Modeling Techniques - GT-VMT 2001},
    volume = {50},
    year = {2001},
    }
  • M. Delamaro, M. Pezzè, A. M. R. Vincenzi, and J. C. Maldonado, "Mutant Operators for Testing Concurrent Java Programs," in SBES '01: Proceedings of the 15th Brazilian Symposium on Software Engineering, 2001, pp. 272-285. | bibtex
    @inproceedings{Delamaro:MutantOperators:SBES:2001,
    author = {Marcio Delamaro and Mauro Pezz\`{e} and Auri M. R. Vincenzi and Jose Carlos Maldonado},
    booktitle = {SBES '01: Proceedings of the 15th Brazilian Symposium on Software Engineering},
    pages = {272--285},
    publisher = {{ACM}},
    title = {Mutant Operators for Testing Concurrent Java Programs},
    year = {2001},
    }

2000

  • U. Buy, A. Orso, and M. Pezzè, "Automated Testing of Classes," in Proceedings of the 9th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2000, pp. 39-48. | bibtex
    @inproceedings{Buy:AutomatedTesting:ISSTA:2000,
    author = {Ugo Buy and Alessandro Orso and Mauro Pezz\`{e}},
    title = {Automated Testing of Classes},
    booktitle = {Proceedings of the 9th ACM SIGSOFT International Symposium on Software Testing and Analysis},
    year = {2000},
    series = {ISSTA '00},
    pages = {39--48},
    publisher = {ACM},
    }
  • M. Pezzè and L. Baresi, "Can Graph Grammars Make Formal Methods More Human?," in GTVMT'00: Workshop on Graph Transformation and Visual Modeling Techniques, 2000, pp. 387-394. | bibtex
    @inproceedings{Pezze:CanGraphGrammars:ICALP:2000,
    author = {Mauro Pezz\`{e} and Luciano Baresi},
    booktitle = {GTVMT'00: Workshop on Graph Transformation and Visual Modeling Techniques},
    publisher = {Springer},
    pages = {387--394},
    title = {Can Graph Grammars Make Formal Methods More Human?},
    year = {2000},
    }
  • J. Magee and M. Pezzè, "The ICSE2000 Doctoral Workshop," in ICSE '00: Proceedings of the 22nd International Conference on Software Engineering, 2000, p. 697. | bibtex
    @inproceedings{Magee:ICSEds:ICSE:2000,
    author = {Jeff Magee and Mauro Pezz\`{e}},
    booktitle = {ICSE '00: Proceedings of the 22nd International Conference on Software Engineering},
    pages = {697},
    publisher = {{ACM}},
    title = {The ICSE2000 Doctoral Workshop},
    year = {2000},
    }

1999

  • L. Baresi and M. Pezzè, "A Formal Definition of Stuctured Analysis with Programmable Graph Grammars," in AGTIVE '99: Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance, 1999, pp. 193-208. | bibtex
    @inproceedings{Baresi:FormalDefinition:AGTIVE:1999,
    author = {Luciano Baresi and Mauro Pezz\`{e}},
    booktitle = {AGTIVE '99: Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance},
    pages = {193--208},
    publisher = {Springer},
    title = {A Formal Definition of Stuctured Analysis with Programmable Graph Grammars},
    year = {1999},
    }
  • A. Orso and M. Pezzè, "Integration Testing of Procedural Object-Oriented Languages with Polymorphism," in Proceedings of the 16th International Conference on Testing Computer Software: Future Trends in Testing, 1999. | bibtex
    @inproceedings{Orso:IntegrationTesting:ICTCS:1999,
    author = {Alessandro Orso and Mauro Pezz\`{e}},
    booktitle = {Proceedings of the 16th International Conference on Testing Computer Software: Future Trends in Testing},
    series = {TCS '99},
    title = {Integration Testing of Procedural Object-Oriented Languages with Polymorphism},
    year = {1999},
    }
  • U. Buy, C. Ghezzi, A. Orso, M. Pezzè, and M. Valsasna, "A Framework for Testing Object-Oriented Components," in TDCS '99: Proceeding of the ICSE Workshop on Testing Distributed Component-Based Systems, 1999, pp. 112-124. | bibtex
    @inproceedings{Buy:FrameworkTesting:TDCS:1999,
    author = {Ugo Buy and Carlo Ghezzi and Alessandro Orso and Mauro Pezz\`{e} and Matteo Valsasna},
    booktitle = {TDCS '99: Proceeding of the ICSE Workshop on Testing Distributed Component-Based Systems},
    pages = {112--124},
    publisher = {ACM},
    title = {A Framework for Testing Object-Oriented Components},
    year = {1999},
    }

1998

  • F. Calzolari and M. Pezzè, "A Non-Temporized Approach for Temporized Analysis," in ECRTS '98: Proceedings of the 10th Euromicro Workshop on Real-Time Systems, 1998, pp. 154-161. | bibtex
    @inproceedings{Calzolari:NonTemporized:EUROMICRO:1998,
    author = {Francesco Calzolari and Mauro Pezz\`{e}},
    booktitle = {ECRTS '98: Proceedings of the 10th Euromicro Workshop on Real-Time Systems},
    publisher = {{IEEE}},
    pages = {154--161},
    title = {A Non-Temporized Approach for Temporized Analysis},
    year = {1998},
    }
  • L. Baresi and M. Pezzè, "Toward Formalizing Structured Analysis," ACM Transactions on Software Engineering and Methodology, vol. 7, iss. 1, pp. 80-107, 1998. | bibtex
    @article{Baresi:TowardsFormalizing:TOSEM:1998,
    address = {New York, NY, USA},
    author = {Luciano Baresi and Mauro Pezz\`{e}},
    journal = {ACM Transactions on Software Engineering and Methodology},
    number = {1},
    pages = {80--107},
    publisher = {ACM},
    title = {Toward Formalizing Structured Analysis},
    volume = {7},
    year = {1998},
    }

1997

  • L. Baresi, M. D. Paola, A. Gargiulo, and M. Pezzè, "LEMMA: A Language for Easy Medical Models Analysis," in CBMS '97: Proceedings of the 10th IEEE Symposium on Computer-Based Medical Systems, 1997, pp. 244-249. | bibtex
    @inproceedings{Baresi:LEMMA:CBMS:1997,
    author = {Luciano Baresi and Manuele Di Paola and Antonio Gargiulo and Mauro Pezz\`{e}},
    booktitle = {CBMS '97: Proceedings of the 10th {IEEE} Symposium on Computer-Based Medical Systems},
    publisher = {{IEEE}},
    pages = {244-249},
    title = {LEMMA: A Language for Easy Medical Models Analysis},
    year = {1997},
    }
  • M. Pezzè and M. Young, "Constructing Multi-Formalism State-Space Analysis Tools: Using Rules to Specify Dynamic Semantics of Models," in ICSE '97: Proceedings of the 19th International Conference on Software Engineering, 1997, pp. 239-250. | bibtex
    @inproceedings{Pezze:Constructing:ICSE:1997,
    author = {Mauro Pezz\`{e} and Michal Young},
    booktitle = {ICSE '97: Proceedings of the 19th International Conference on Software Engineering},
    pages = {239--250},
    publisher = {{ACM}},
    title = {Constructing Multi-Formalism State-Space Analysis Tools: Using Rules to Specify Dynamic Semantics of Models},
    year = {1997},
    }
  • C. Ebert, T. Matsubara, T. Webb, M. Pezzè, and O. W. Bertelsen, "The Road to Maturity: Navigating Between Craft and Science," IEEE Software, vol. 14, iss. 6, pp. 77-82, 1997. | bibtex
    @article{Ebert:RoadToMaturity:IEEESW:1997,
    author = {Christof Ebert and Tomoo Matsubara and Todd Webb and Mauro Pezz\`{e} and Olav W. Bertelsen},
    journal = {IEEE Software},
    pages = {77--82},
    title = {The Road to Maturity: Navigating Between Craft and Science},
    volume = {14},
    number = {6},
    year = {1997},
    }
  • L. Baresi, A. Orso, and M. Pezzè, "Introducing Formal Specification Methods in Industrial Practice," in ICSE '97: Proceedings of the 19th International Conference on Software Engineering, 1997, pp. 56-66. | bibtex
    @inproceedings{Baresi:IntroducingFormal:ICSE:1997,
    author = {Luciano Baresi and Alessandro Orso and Mauro Pezz\`{e}},
    booktitle = {ICSE '97: Proceedings of the 19th International Conference on Software Engineering},
    pages = {56--66},
    publisher = {{ACM}},
    title = {Introducing Formal Specification Methods in Industrial Practice},
    year = {1997},
    }

1996

  • M. Pezzè and M. Young, "Generation of Multi-Formalism State-Space Analysis Tools," in ISSTA '96: Proceedings of the 1996 ACM SIGSOFT International Symposium on Software Testing and Analysis, 1996, pp. 172-179. | bibtex
    @inproceedings{Pezze:Generation:ISSTA:1996,
    author = {Mauro Pezz\`{e} and Michal Young},
    booktitle = {ISSTA '96: Proceedings of the 1996 {ACM} SIGSOFT International Symposium on Software Testing and Analysis},
    pages = {172--179},
    publisher = {{ACM}},
    title = {Generation of Multi-Formalism State-Space Analysis Tools},
    year = {1996},
    }
  • M. Pezzè and S. Silva, "A Software Architecture Approach for Designing CASE Systems," in ICECCS '96: Proceedings of the 2nd IEEE International Conference on Engineering of Complex Computer Systems, 1996, pp. 47-50. | bibtex
    @inproceedings{Pezze:SoftwareArchitecture:ICECCS:1996,
    author = {Mauro Pezz\`{e} and Sergio Silva},
    booktitle = {ICECCS '96: Proceedings of the 2nd {IEEE} International Conference on Engineering of Complex Computer Systems},
    pages = {47--50},
    publisher = {{IEEE}},
    title = {A Software Architecture Approach for Designing CASE Systems},
    year = {1996},
    }
  • A. Caloini, G. Magnani, and M. Pezzè, "Software Design of Robot Controllers with Petri Nets: a Case-Study," in SMC '96: Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1996, pp. 3039-3044. | bibtex
    @inproceedings{Caloini:RobotControllers:SMC:1996,
    author = {Andrea Caloini and Gianantonio Magnani and Mauro Pezz\`{e}},
    booktitle = {SMC '96: Proceedings of the {IEEE} International Conference on Systems, Man and Cybernetics},
    title = {Software Design of Robot Controllers with Petri Nets: a Case-Study},
    pages = {3039--3044},
    publisher = {{IEEE}},
    year = {1996},
    }
  • S. Morasca, M. Pezzè, and S. Silva, "Mutation Analysis for Concurrent Ada Programs," in QW '96: Proceeedings of the 9th Quality Week, 1996. | bibtex
    @inproceedings{Morasca:MutationAnalysisAda:QualityWeek:1996,
    author = {Sandro Morasca and Mauro Pezz\`{e} and Sergio Silva},
    booktitle = {QW '96: Proceeedings of the 9th Quality Week},
    publisher = {Science Research Institute},
    title = {Mutation Analysis for Concurrent Ada Programs},
    year = {1996},
    }
  • L. Baresi, V. Braberman, M. Felder, M. Pezzè, and F. Piezianek, "A Practical Approach to Formal Design of Real-Time Systems," in SMC '96: Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1996, pp. 1014-1019. | bibtex
    @inproceedings{Baresi:PracticalApproach:SMC:1996,
    author = {Luciano Baresi and Victor Braberman and Miguel Felder and Mauro Pezz\`{e} and Fabio Piezianek},
    booktitle = {SMC '96: Proceedings of the {IEEE} International Conference on Systems, Man and Cybernetics},
    title = {A Practical Approach to Formal Design of Real-Time Systems},
    pages = {1014--1019},
    publisher = {{IEEE}},
    year = {1996},
    }

1995

  • M. Pezzè, R. N. Taylor, and M. Young, "Graph Models for Reachability Analysis of Concurrent Programs," ACM Transactions on Software Engineering and Methodology, vol. 4, iss. 2, pp. 171-213, 1995. | bibtex
    @article{Pezze:GraphModels:TOSEM:1995,
    address = {New York, NY, USA},
    author = {Mauro Pezz\`{e} and Richard N. Taylor and Michal Young},
    journal = {ACM Transactions on Software Engineering and Methodology},
    number = {2},
    pages = {171--213},
    publisher = {ACM},
    title = {Graph Models for Reachability Analysis of Concurrent Programs},
    volume = {4},
    year = {1995},
    }
  • M. Pezzè, A. Gargiulo, T. Catarci, and M. D. Paola, "A Formal Model for Quality Assurance in Coloproctologic Surgery," in MEDINFO '95: Proceedings of the 8th World Congress on Medical Informatics, 1995. | bibtex
    @inproceedings{Pezze:ColoproctologicSurgery:MEDINFO:1995,
    author = {Mauro Pezz\`{e} and Antonio Gargiulo and Tiziana Catarci and Manuele Di Paola},
    booktitle = {MEDINFO '95: Proceedings of the 8th World Congress on Medical Informatics},
    title = {A Formal Model for Quality Assurance in Coloproctologic Surgery},
    publisher = {Healthcare Computing \& Communications},
    year = {1995},
    }
  • F. Calzolari and M. Pezzè, "Property Decomposition to Speed Up Analysis," in ECRTS '95: Proceedings of the 7th Euromicro Workshop on Real-Time Systems, 1995, pp. 147-157. | bibtex
    @inproceedings{Calzolari:PropertyDecomposition:EUROMICRO:1995,
    author = {Francesco Calzolari and Mauro Pezz\`{e}},
    booktitle = {ECRTS '95: Proceedings of the 7th Euromicro Workshop on Real-Time Systems},
    publisher = {{IEEE}},
    title = {Property Decomposition to Speed Up Analysis},
    pages = {147--157},
    year = {1995},
    }
  • L. Baresi, A. Orso, and M. Pezzè, "Customizable Notations For Kernel Formalisms," in ICECCS '95: Proceedings of the 1st IEEE International Conference on Engineering of Complex Computer Systems, 1995, pp. 43-53. | bibtex
    @inproceedings{Baresi:CustomizableNotations:ICECCS:1995,
    author = {Luciano Baresi and Alessandro Orso and Mauro Pezz\`{e}},
    booktitle = {ICECCS '95: Proceedings of the 1st {IEEE} International Conference on Engineering of Complex Computer Systems},
    pages = {43--53},
    publisher = {{IEEE}},
    title = {Customizable Notations For Kernel Formalisms},
    year = {1995},
    }

1994

  • C. Ghezzi, S. Morasca, and M. Pezzè, "Validating Timing Requirements for Time Basic Net Specifications," Journal of Systems and Software, vol. 27, iss. 2, pp. 97-117, 1994. | bibtex
    @article{Ghezzi:ValidatingTimingRequirements:JSS:1994,
    author = {Carlo Ghezzi and Sandro Morasca and Mauro Pezz\`{e}},
    journal = {Journal of Systems and Software},
    number = {2},
    pages = {97--117},
    title = {Validating Timing Requirements for Time Basic Net Specifications},
    volume = {27},
    year = {1994},
    }

1993

  • M. Felder, C. Ghezzi, and M. Pezzè, "Analyzing Refinements of State Based Specifications: The Case of TB Nets," in ISSTA '93: Proceedings of the 1993 ACM SIGSOFT International Symposium on Software Testing and Analysis, 1993, pp. 28-39. | bibtex
    @inproceedings{Felder:AnalyzingRefinements:ISSTA:1993,
    author = {Miguel Felder and Carlo Ghezzi and Mauro Pezz\`{e}},
    booktitle = {ISSTA '93: Proceedings of the 1993 {ACM} SIGSOFT International Symposium on Software Testing and Analysis},
    pages = {28--39},
    publisher = {{ACM}},
    title = {Analyzing Refinements of State Based Specifications: The Case of TB Nets},
    year = {1993},
    }
  • C. Bellettini, M. Felder, and M. Pezzè, "Merlot: A Tool for Analysis of Real-Time Specifications," in IWSSD '93: Proceedings of the 7th International Workshop on Software Specification and Design, 1993, pp. 110-119. | bibtex
    @inproceedings{Bellettini:Merlot:IWSSD:1993,
    author = {Carlo Bellettini and Miguel Felder and Mauro Pezz\`{e}},
    booktitle = {IWSSD '93: Proceedings of the 7th International Workshop on Software Specification and Design},
    pages = {110--119},
    publisher = {{IEEE}},
    title = {Merlot: A Tool for Analysis of Real-Time Specifications},
    year = {1993},
    }
  • C. Ghezzi and M. Pezzè, "Towards Extensible Graphical Formalisms," in IWSSD '93: Proceedings of the 7th International Workshop on Software Specification and Design, 1993, pp. 69-77. | bibtex
    @inproceedings{Ghezzi:ExtensibleGraphicalFormalisms:IWSSD:1993,
    author = {Carlo Ghezzi and Mauro Pezz\`{e}},
    booktitle = {IWSSD '93: Proceedings of the 7th International Workshop on Software Specification and Design},
    pages = {69--77},
    publisher = {{IEEE}},
    title = {Towards Extensible Graphical Formalisms},
    year = {1993},
    }
  • R. Elmstrom, R. Lintulampi, and M. Pezzè, "Giving Semantics to SA/RT by Means of High-Level Times Petri Nets," Real-Time Systems, vol. 5, iss. 2-3, pp. 249-271, 1993. | bibtex
    @article{Elmstrom:GivingSemanticsSA/RT:RTS:1993,
    author = {Ren\`{e} Elmstrom and Raino Lintulampi and Mauro Pezz\`{e}},
    journal = {Real-Time Systems},
    number = {2-3},
    pages = {249--271},
    title = {Giving Semantics to SA/RT by Means of High-Level Times Petri Nets},
    volume = {5},
    year = {1993},
    }
  • M. Felder, C. Ghezzi, and M. Pezzè, "High-Level Timed Petri Nets as a Kernel for Executable Specifications," Real-Time Systems, vol. 5, iss. 2-3, pp. 235-248, 1993. | bibtex
    @article{Felder:HighLevelTimedPetriNets:RTS:1993,
    author = {Miguel Felder and Carlo Ghezzi and Mauro Pezz\`{e}},
    journal = {Real-Time Systems},
    number = {2-3},
    pages = {235--248},
    title = {High-Level Timed Petri Nets as a Kernel for Executable Specifications},
    volume = {5},
    year = {1993},
    }

1992

  • C. Ghezzi and M. Pezzè, "Cabernet: An Environment for the Specification and Verification of Real-Time Systems," in DECUS '92: Proceedings of the 1992 Digital Equipment Computer Users' Society Europe Symposium, 1992. | bibtex
    @inproceedings{Ghezzi:Cabernet:DECUS:1992,
    author = {Carlo Ghezzi and Mauro Pezz\`{e}},
    booktitle = {DECUS '92: Proceedings of the 1992 Digital Equipment Computer Users' Society Europe Symposium},
    title = {Cabernet: An Environment for the Specification and Verification of Real-Time Systems},
    year = {1992},
    }

1991

  • C. Ghezzi, D. Mandrioli, S. Morasca, and M. Pezzè, "A Unified High-Level Petri Net Formalism for Time-Critical Systems," IEEE Transactions on Software Engineering, vol. 17, iss. 2, pp. 160-172, 1991. | bibtex
    @article{Ghezzi:UnifiedHighLevelPetriNetFormalism:TSE:1991,
    author = {Carlo Ghezzi and Dino Mandrioli and Sandro Morasca and Mauro Pezz\`{e}},
    journal = {IEEE Transactions on Software Engineering},
    number = {2},
    pages = {160--172},
    title = {A Unified High-Level Petri Net Formalism for Time-Critical Systems},
    volume = {17},
    year = {1991},
    }
  • G. Buonanno, S. Morasca, M. Pezzè, K. Portman, and D. Sciuto, "A New Timed Petri Net for Hardware Representation," in CHDL '91: Proceeding of the 10th International Symposium on Hardware Description Languages and their Applications, 1991. | bibtex
    @inproceedings{Buonanno:NewTimedPetriNet:CHDL:1991,
    author = {Giacomo Buonanno and Sandro Morasca and Mauro Pezz\`{e} and Kim Portman and Donatella Sciuto},
    booktitle = {CHDL '91: Proceeding of the 10th International Symposium on Hardware Description Languages and their Applications},
    publisher = {{IEEE}},
    title = {A New Timed Petri Net for Hardware Representation},
    year = {1991},
    }
  • S. Morasca, M. Pezzè, and M. Trubian, "Timed High-Level Nets," Real-Time Systems, vol. 3, iss. 2, pp. 165-189, 1991. | bibtex
    @article{Morasca:TimedNets:RTS:1991,
    author = {Sandro Morasca and Mauro Pezz\`{e} and Marco Trubian},
    journal = {Real-Time Systems},
    number = {2},
    pages = {165--189},
    title = {Timed High-Level Nets},
    volume = {3},
    year = {1991},
    }

1990

  • G. Buonanno, S. Morasca, M. Pezzè, K. Portman, and D. Sciuto, "Using High Level Petri Nets for Timing Specification of Hardware," in TAU '90: Proceedings of the 1990 ACM International Workshop on Timing Issues in the Specification and Synthesis of Digital Systems, 1990. | bibtex
    @inproceedings{Buonanno:HighLevelPetriNets:TAU:1990,
    author = {Giacomo Buonanno and Sandro Morasca and Mauro Pezz\`{e} and Kim Portman and Donatella Sciuto},
    booktitle = {TAU '90: Proceedings of the 1990 {ACM} International Workshop on Timing Issues in the Specification and Synthesis of Digital Systems},
    title = {Using High Level Petri Nets for Timing Specification of Hardware},
    publisher = {{ACM}},
    year = {1990},
    }

1989

  • S. Morasca and M. Pezzè, "Validation of Concurrent ADA Programs Using Symbolic Execution," in ESEC '89: Proceedings of the 2nd European Software Engineering Conference, 1989, pp. 469-486. | bibtex
    @inproceedings{Morasca:ValidationConcurrentADA:ESEC:1989,
    author = {Sandro Morasca and Mauro Pezz\`{e}},
    booktitle = {ESEC '89: Proceedings of the 2nd European Software Engineering Conference},
    pages = {469--486},
    title = {Validation of Concurrent ADA Programs Using Symbolic Execution},
    year = {1989},
    }
  • C. Ghezzi, D. Mandrioli, S. Morasca, and M. Pezzè, "A General Way to Put Time in Petri Nets," in IWSSD '89: Proceedings of the 5th International Workshop on Software Specification and Design, 1989, pp. 60-67. | bibtex
    @inproceedings{Ghezzi:GeneralWay:IWSSD:1989,
    author = {Carlo Ghezzi and Dino Mandrioli and Sandro Morasca and Mauro Pezz\`{e}},
    booktitle = {IWSSD '89: Proceedings of the 5th International Workshop on Software Specification and Design},
    pages = {60--67},
    publisher = {{ACM}},
    title = {A General Way to Put Time in Petri Nets},
    year = {1989},
    }
  • C. Ghezzi, D. Mandrioli, S. Morasca, and M. Pezzè, "Symbolic Execution of Concurrent Systems Using Petri Nets," Computer Languages, vol. 14, iss. 4, pp. 263-281, 1989. | bibtex
    @article{Ghezzi:SymbolicExecution:CL:1989,
    author = {Carlo Ghezzi and Dino Mandrioli and Sandro Morasca and Mauro Pezz\`{e}},
    journal = {Computer Languages},
    number = {4},
    pages = {263--281},
    title = {Symbolic Execution of Concurrent Systems Using Petri Nets},
    volume = {14},
    year = {1989},
    }
  • S. Morasca and M. Pezzè, "The Rationale of an Environment for Real-Time Software," in ECRTS '89: Proceedings of the 2nd Euromicro Workshop on Real-Time Systems, 1989, pp. 37-42. | bibtex
    @inproceedings{Morasca:Rationale:EUROMICRO:1989,
    author = {Sandro Morasca and Mauro Pezz\`{e}},
    booktitle = {ECRTS '89: Proceedings of the 2nd Euromicro Workshop on Real-Time Systems},
    pages = {37--42},
    title = {The Rationale of an Environment for Real-Time Software},
    publisher = {{IEEE}},
    year = {1989},
    }

1988

  • G. Milne and M. Pezzè, "Typed CIRCAL: a High Level Framework for Hardware Verification," in IFIP '89: Proceedings of the International Working Conference on the Fusion of Hardware Design and Verification, 1988. | bibtex
    @inproceedings{Milne:TypedCircal:IFIP:1988,
    author = {George Milne and Mauro Pezz\`{e}},
    booktitle = {IFIP '89: Proceedings of the International Working Conference on the Fusion of Hardware Design and Verification},
    title = {Typed CIRCAL: a High Level Framework for Hardware Verification},
    publisher = {Springer},
    year = {1988},
    }

1987

  • C. Ghezzi, A. Morzenti, and M. Pezzè, "On the Role of Software Reliability in Software Engineering," in Software Reliability Modelling and Identification, 1987, pp. 1-40. | bibtex
    @inproceedings{Ghezzi:RoleSWReliability:SRMI:1987,
    author = {Carlo Ghezzi and Angelo Morzenti and Mauro Pezz\`{e}},
    booktitle = {Software Reliability Modelling and Identification},
    pages = {1--40},
    title = {On the Role of Software Reliability in Software Engineering},
    publisher = {Springer},
    year = {1987},
    }

1986

  • F. Borgonovo, E. Cadorin, L. Fratta, and M. Pezzè, "Voice and Data Performance Measurements in L-Express Nets," in SIGCOMM '86: Proceedings of the ACM SIGCOMM Conference on Communications Architectures and Protocols, 1986, pp. 120-125. | bibtex
    @inproceedings{Borgonovo:VoiceDataPerformance:SIGCOMM:1986,
    author = {Flaminio Borgonovo and Enrico Cadorin and Luigi Fratta and Mauro Pezz\`{e}},
    booktitle = {SIGCOMM '86: Proceedings of the {ACM} {SIGCOMM} Conference on Communications Architectures and Protocols},
    pages = {120--125},
    publisher = {{ACM}},
    title = {Voice and Data Performance Measurements in L-Express Nets},
    year = {1986},
    }