- L. Mariani, M. Pezzè, and D. Zuddas, "Augusto: Exploiting Popular Functionalities for the Generation of Semantic GUI Tests with Oracles," in Proceedings of the 40th International Conference on Software Engineering, 2018. |
@inproceedings{Mariani:Augusto:ICSE:2018,
author = {Leonardo Mariani and Mauro Pezz\`e and Daniele Zuddas},
title = {Augusto: Exploiting Popular Functionalities for the Generation of Semantic GUI Tests with Oracles},
booktitle = {Proceedings of the 40th International Conference on Software Engineering},
series = {ICSE '18},
year = {2018},
pages = {to appear},
publisher = {IEEE},
}
- P. Braione, G. Denaro, A. Mattavelli, and M. Pezzè, "SUSHI: a test generator for programs with complex structured inputs," in Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, ICSE 2018, Gothenburg, Sweden, May 27 - June 03, 2018, 2018, pp. 21-24. | |
@inproceedings{Braione:SUSHI:ICSE:2018,
author = {Pietro Braione and Giovanni Denaro and Andrea Mattavelli and Mauro Pezz{\`{e}}},
title = {{SUSHI:} a test generator for programs with complex structured inputs},
booktitle = {Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, {ICSE} 2018, Gothenburg, Sweden, May 27 - June 03, 2018},
pages = {21--24},
year = {2018},
crossref = {DBLP:conf/icse/2018c},
url = {http://doi.acm.org/10.1145/3183440.3183472},
doi = {10.1145/3183440.3183472},
timestamp = {Tue, 04 Sep 2018 11:30:50 +0200},
biburl = {https://dblp.org/rec/bib/conf/icse/BraioneDMP18},
bibsource = {dblp computer science bibliography, https://dblp.org},
}
- L. Mariani, C. Monni, M. P., O. R., and R. Xin, "Localizing Faults in Cloud Systems," in Proceedings of the 11th International Conference on Software Testing, Verification and Validation, 2018, pp. 262-273. |
@inproceedings{Mariani:LOUD:ICST:2018,
author = {Leonardo Mariani and Cristina Monni and Mauro Pezz{\'e} and Oliviero Riganelli and Rui Xin},
title = {Localizing Faults in Cloud Systems},
booktitle = {Proceedings of the 11th International Conference on Software Testing, Verification and Validation},
series = {ICST '18},
year = {2018},
publisher = {IEEE},
pages = {262--273},
keywords = {Computer Science - Software Engineering, Computer Science - Distributed, Parallel, and Cluster Computing},
}
- M. Pezzè, P. Rondena, and D. Zuddas, "Automatic GUI Testing of Desktop Applications: an Empirical Assessment of the State of the Art," in Proceedings of the International Symposium on Software Testing and Analysis, 2018. |
@inproceedings{pezze:GUI:INTUITESTBED:2018,
author = {Pezz{\`e}, Mauro and Rondena, Paolo and Zuddas, Daniele},
title = {Automatic GUI Testing of Desktop Applications: an Empirical Assessment of the State of the Art},
booktitle = {Proceedings of the International Symposium on Software Testing and Analysis},
series = {ISSTA companion '18},
year = {2018},
pages = {to appear},
publisher = {ACM},
}
- V. Terragni and M. Pezzè, "Effectiveness and Challenges in Generating Concurrent Tests for Thread-Safe Classes," in Proceedings of the 33nd IEEE/ACM International Conference on Automated Software Engineering, 2018, pp. 64-75. |
@inproceedings{Terragni:contest:ASE:2018,
author = {Terragni, Valerio and Pezz{\`e}, Mauro},
title = {Effectiveness and Challenges in Generating Concurrent Tests for Thread-Safe Classes},
booktitle = {Proceedings of the 33nd {IEEE/ACM} International Conference on Automated Software Engineering},
publisher = {ACM},
pages = {64--75},
series = {ASE~'18},
year = {2018},
}
- A. Blasi, A. Goffi, K. Kuznetsov, A. Gorla, M. D. Ernst, M. Pezzè, and S. D. Castellanos, "Translating code comments to procedure specifications," in Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2018, Amsterdam, The Netherlands, July 16-21, 2018, 2018, pp. 242-253. | |
@inproceedings{Blasi:Translating:ISSTA:2018,
author = {Arianna Blasi and Alberto Goffi and Konstantin Kuznetsov and Alessandra Gorla and Michael D. Ernst and Mauro Pezz{\`{e}} and Sergio Delgado Castellanos},
title = {Translating code comments to procedure specifications},
booktitle = {Proceedings of the 27th {ACM} {SIGSOFT} International Symposium on Software Testing and Analysis, {ISSTA} 2018, Amsterdam, The Netherlands, July 16-21, 2018},
pages = {242--253},
year = {2018},
crossref = {DBLP:conf/issta/2018},
url = {http://doi.acm.org/10.1145/3213846.3213872},
doi = {10.1145/3213846.3213872},
timestamp = {Mon, 16 Jul 2018 11:17:15 +0200},
biburl = {https://dblp.org/rec/bib/conf/issta/BlasiGKGEPC18},
bibsource = {dblp computer science bibliography, https://dblp.org},
}
- F. A. Bianchi, M. Pezzè, and V. Terragni, "Reproducing Concurrency Failures from Crash Stacks," in Proceedings of the Joint Meeting on Foundations of Software Engineering, 2017, pp. 705-716. |
@inproceedings{Bianchi:CONCRASH:FSE:2017,
author = {Francesco A. Bianchi and Mauro Pezz{\`{e}} and Valerio Terragni},
title = {Reproducing Concurrency Failures from Crash Stacks},
pages = {705--716},
booktitle = {Proceedings of the Joint Meeting on Foundations of Software Engineering},
series = {ESEC/FSE '17},
publisher = {ACM},
year = {2017},
}
- F. A. Bianchi, A. Margara, and M. Pezzè, "A Survey of Recent Trends in Testing Concurrent Software Systems," Transactions on Software Engineering, vol. 44, iss. 8, pp. 747-783, 2017. |
@article{Bianchi:survey:TSE:2017,
author = {Francesco A. Bianchi and Alessandro Margara and Mauro Pezz{\`e}},
journal = {Transactions on Software Engineering},
title = {A Survey of Recent Trends in Testing Concurrent Software Systems},
year = {2017},
volume = {44},
number = {8},
pages = {747--783},
publisher = {IEEE},
}
- P. Braione, G. Denaro, A. Mattavelli, and M. Pezzè, "Combining symbolic execution and search-based testing for programs with complex heap inputs," in Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, July 10 - 14, 2017, 2017, pp. 90-101. | |
@inproceedings{Braione:Heap:ISSTA:2017,
author = {Pietro Braione and Giovanni Denaro and Andrea Mattavelli and Mauro Pezz{\`{e}}},
title = {Combining symbolic execution and search-based testing for programs with complex heap inputs},
booktitle = {Proceedings of the 26th {ACM} {SIGSOFT} International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, July 10 - 14, 2017},
pages = {90--101},
year = {2017},
crossref = {DBLP:conf/issta/2017},
url = {http://doi.acm.org/10.1145/3092703.3092715},
doi = {10.1145/3092703.3092715},
timestamp = {Mon, 06 Nov 2017 12:15:04 +0100},
biburl = {https://dblp.org/rec/bib/conf/issta/BraioneDMP17},
bibsource = {dblp computer science bibliography, https://dblp.org},
}
- A. Goffi, A. Gorla, A. Mattavelli, and M. Pezzè, "Intrinsic Redundancy for Reliability and Beyond," in Present and Ulterior Software Engineering., , 2017, pp. 153-171. | |
@incollection{Goffi:redundancy:book:2017,
author = {Alberto Goffi and Alessandra Gorla and Andrea Mattavelli and Mauro Pezz{\`{e}}},
title = {Intrinsic Redundancy for Reliability and Beyond},
booktitle = {Present and Ulterior Software Engineering.},
pages = {153--171},
year = {2017},
crossref = {DBLP:books/sp/MM2017},
url = {https://doi.org/10.1007/978-3-319-67425-4\_10},
doi = {10.1007/978-3-319-67425-4\_10},
timestamp = {Mon, 13 Nov 2017 07:40:02 +0100},
biburl = {https://dblp.org/rec/bib/books/sp/17/GoffiGMP17},
bibsource = {dblp computer science bibliography, https://dblp.org},
}
- L. Gazzola, L. Mariani, F. Pastore, and M. Pezzè, "An Exploratory Study of Field Failures," in 28th IEEE International Symposium on Software Reliability Engineering, ISSRE 2017, Toulouse, France, October 23-26, 2017, 2017, pp. 67-77. | |
@inproceedings{Gazzola:Field:ISSRE:2017,
author = {Luca Gazzola and Leonardo Mariani and Fabrizio Pastore and Mauro Pezz{\`{e}}},
title = {An Exploratory Study of Field Failures},
booktitle = {28th {IEEE} International Symposium on Software Reliability Engineering, {ISSRE} 2017, Toulouse, France, October 23-26, 2017},
pages = {67--77},
year = {2017},
crossref = {DBLP:conf/issre/2017},
url = {https://doi.org/10.1109/ISSRE.2017.10},
doi = {10.1109/ISSRE.2017.10},
timestamp = {Fri, 01 Dec 2017 22:44:09 +0100},
biburl = {https://dblp.org/rec/bib/conf/issre/GazzolaMPP17},
bibsource = {dblp computer science bibliography, https://dblp.org},
}
- L. Mariani, M. Pezzè, and M. Santoro, "GK-Tail+ An Efficient Approach to Learn Software Models," IEEE Trans. Software Eng., vol. 43, iss. 8, pp. 715-738, 2017. | |
@article{Mariani:GKTAIL:TSE:2017,
author = {Leonardo Mariani and Mauro Pezz{\`{e}} and Mauro Santoro},
title = {GK-Tail+ An Efficient Approach to Learn Software Models},
journal = {{IEEE} Trans. Software Eng.},
volume = {43},
number = {8},
pages = {715--738},
year = {2017},
url = {https://doi.org/10.1109/TSE.2016.2623623},
doi = {10.1109/TSE.2016.2623623},
timestamp = {Tue, 22 Aug 2017 16:36:24 +0200},
biburl = {https://dblp.org/rec/bib/journals/tse/MarianiPS17},
bibsource = {dblp computer science bibliography, https://dblp.org},
}
- A. Aquino, G. Denaro, and M. Pezzè, "Heuristically matching solution spaces of arithmetic formulas to efficiently reuse solutions," in Proceedings of the 39th International Conference on Software Engineering, ICSE 2017, Buenos Aires, Argentina, May 20-28, 2017, 2017, pp. 427-437. | |
@inproceedings{Aquino:Reuse:ISSTA:2017,
author = {Andrea Aquino and Giovanni Denaro and Mauro Pezz{\`{e}}},
title = {Heuristically matching solution spaces of arithmetic formulas to efficiently reuse solutions},
booktitle = {Proceedings of the 39th International Conference on Software Engineering, {ICSE} 2017, Buenos Aires, Argentina, May 20-28, 2017},
pages = {427--437},
year = {2017},
crossref = {DBLP:conf/icse/2017},
url = {https://doi.org/10.1109/ICSE.2017.46},
doi = {10.1109/ICSE.2017.46},
timestamp = {Thu, 07 Sep 2017 09:27:12 +0200},
biburl = {https://dblp.org/rec/bib/conf/icse/AquinoDP17},
bibsource = {dblp computer science bibliography, https://dblp.org},
}
- M. Pezzè and J. Wuttke, "Model-driven generation of runtime checks for system properties," STTT, vol. 18, iss. 1, pp. 1-19, 2016. |
@article{Pezze:model:sttt:2016,
author = {Mauro Pezzè and Jochen Wuttke},
title = {Model-driven generation of runtime checks for system properties},
journal = {{STTT}},
volume = {18},
number = {1},
pages = {1--19},
year = {2016},
}
- A. Gambi, M. Pezzè, and G. Toffetti, "Kriging-Based Self-Adaptive Cloud Controllers," IEEE Transactions on Services Computing, vol. 9, iss. 3, pp. 368-381, 2016. |
@article{Gambi:Kriging:TSC:2016,
author = {Alessio Gambi and Mauro Pezzè and Giovanni Toffetti},
title = {Kriging-Based Self-Adaptive Cloud Controllers},
journal = {{IEEE} Transactions on Services Computing},
volume = {9},
number = {3},
pages = {368--381},
year = {2016},
}
- A. Goffi, A. Gorla, M. D. Ernst, and M. Pezzè, "Automatic Generation of Oracles for Exceptional Behaviors," in Proceedings of the International Symposium on Software Testing and Analysis, 2016, pp. 213-224. | |
@inproceedings{Goffi:toradocu:ISSTA:2016,
groups = {STAR},
author = {Goffi, Alberto and Gorla, Alessandra and Ernst, Michael D. and Pezzè, Mauro},
title = {Automatic Generation of Oracles for Exceptional Behaviors},
booktitle = {Proceedings of the International Symposium on Software Testing and Analysis},
series = {ISSTA '16},
pages = {213--224},
year = {2016},
}
- R. Calinescu, C. Ghezzi, K. Johnson, M. Pezzè, Y. Rafiq, and G. Tamburrelli, "Formal Verification With Confidence Intervals to Establish Quality of Service Properties of Software Systems," IEEE Transactions on Reliability, vol. 65, iss. 1, pp. 107-125, 2016. |
@article{Calinescu:QOSProperties:TR:2016,
author = {Radu Calinescu and Carlo Ghezzi and Kenneth Johnson and Mauro Pezzè and Yasmin Rafiq and Giordano Tamburrelli},
title = {Formal Verification With Confidence Intervals to Establish Quality of Service Properties of Software Systems},
journal = {IEEE Transactions on Reliability},
year = {2016},
volume = {65},
number = {1},
pages = {107-125},
}
- M. Baluda, G. Denaro, and M. Pezzè, "Bidirectional Symbolic Analysis for Effective Branch Testing," IEEE Transactions on Software Engineering, vol. 42, iss. 5, pp. 403-426, 2016. |
@article{Baluda:bidirectional:TSE:2016,
author = {Mauro Baluda and Giovanni Denaro and Mauro Pezzè},
title = {Bidirectional Symbolic Analysis for Effective Branch Testing},
journal = {{IEEE} Transactions on Software Engineering},
volume = {42},
number = {5},
pages = {403--426},
year = {2016},
}
- P. Braione, G. Denaro, and M. Pezzè, "JBSE: a symbolic executor for Java programs with complex heap inputs," in Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE 2016, Seattle, WA, USA, November 13-18, 2016, 2016, pp. 1018-1022. |
@inproceedings{Braione:jbse:fse:2016,
author = {Pietro Braione and Giovanni Denaro and Mauro Pezzè},
title = {{JBSE:} a symbolic executor for Java programs with complex heap inputs},
booktitle = {Proceedings of the 24th {ACM} {SIGSOFT} International Symposium on Foundations of Software Engineering, {FSE} 2016, Seattle, WA, USA, November 13-18, 2016},
pages = {1018--1022},
year = {2016},
}
- A. Aquino, F. A. Bianchi, C. Meixian, G. Denaro, and M. Pezzè, "Reusing Constraint Proofs in Program Analysis," in Proceedings of the International Symposium on Software Testing and Analysis, 2015, pp. 305-315. |
@inproceedings{Aquino:Recal:ISSTA:2015,
author = {Aquino, Andrea and Bianchi, Francesco A. and Meixian, Chen and Denaro, Giovanni and Pezz\`{e}, Mauro},
title = {Reusing Constraint Proofs in Program Analysis},
booktitle = {Proceedings of the International Symposium on Software Testing and Analysis},
year = {2015},
series = {ISSTA '15},
pages = {305--315},
publisher = {ACM},
keywords = {caching, symbolic execution, reusing formulas, linear integer arithmetic},
}
- M. Pezzè and C. Zhang, "Automated Test Oracles: A Survey," in Advances in Computers, Elsevier, 2015, vol. 95, pp. 1-48. |
@incollection{Pezze:Oracles:Advances:2015,
author = {Mauro Pezz{\`{e}} and Cheng Zhang},
title = {Automated Test Oracles: {A} Survey},
booktitle = {Advances in Computers},
year = {2015},
volume = {95},
publisher = {Elsevier},
pages = {1--48},
keywords = {oracle},
}
- L. Mariani, M. Pezzè, and D. Zuddas, "Recent Advances in Automatic Black-Box Testing," in Advances in Computers, Elsevier, 2015. |
@incollection{Mariani:blackbox:Advances:2015,
author = {Mariani, Leonardo and Pezz\`{e}, Mauro and Zuddas, Daniele},
title = {Recent Advances in Automatic Black-Box Testing},
booktitle = {Advances in Computers},
year = {2015},
publisher = {Elsevier},
keywords = {black-box testing, random testing, model-based testing, combinatorial interaction testing, complex input generation},
}
- G. Denaro, A. Margara, M. Pezzè, and M. Vivanti, "Dynamic Data Flow Testing of Object Oriented Systems," in Proceedings of the 37th International Conference on Software Engineering, 2015, pp. 947-958. |
@inproceedings{Denaro:DynamicDataFlow:ICSE:2015,
author = {Denaro, Giovanni and Margara, Alessandro and Pezz\`{e}, Mauro and Vivanti, Mattia},
booktitle = {Proceedings of the 37th International Conference on Software Engineering},
pages = {947--958},
publisher = {IEEE},
series = {ICSE '15},
title = {Dynamic Data Flow Testing of Object Oriented Systems},
year = {2015},
}
- A. Carzaniga, A. Mattavelli, and M. Pezzè, "Measuring Software Redundancy," in Proceedings of the 37th International Conference on Software Engineering, 2015, pp. 156-166. |
@inproceedings{Carzaniga:MeasuringRedundancy:ICSE:2015,
author = {Carzaniga, Antonio and Mattavelli, Andrea and Pezz\`{e}, Mauro},
booktitle = {Proceedings of the 37th International Conference on Software Engineering},
pages = {156--166},
publisher = {IEEE},
series = {ICSE '15},
title = {Measuring Software Redundancy},
year = {2015},
}
- A. Carzaniga, A. Goffi, A. Gorla, A. Mattavelli, N. Perino, M. Pezzè, and P. Tonella, "Intrinsic Software Redundancy for Self-healing Software Systems and Automated Oracle generation," in Software Engineering & Management 2015, 2015, pp. 129-130. |
@inproceedings{Carzaniga:IntrinsicRedundancy:SEM:2015,
author = {Antonio Carzaniga and Alberto Goffi and Alessandra Gorla and Andrea Mattavelli and Nicol{\`{o}} Perino and Mauro Pezz{\`{e}} and Paolo Tonella},
title = {Intrinsic Software Redundancy for Self-healing Software Systems and Automated Oracle generation},
booktitle = {Software Engineering {\&} Management 2015},
pages = {129--130},
publisher = {{GI}},
year = {2015},
}
- A. Carzaniga, A. Gorla, N. Perino, and M. Pezzè, "Automatic Workarounds: Exploiting the Intrinsic Redundancy of Web Applications," ACM Transactions on Software Engineering and Methodologies, vol. 24, iss. 3, p. 16, 2015. |
@article{Carzaniga:AW:TOSEM:2015,
author = {Antonio Carzaniga and Alessandra Gorla and Nicol{\`{o}} Perino and Mauro Pezz{\`{e}}},
title = {Automatic Workarounds: Exploiting the Intrinsic Redundancy of Web Applications},
journal = {{ACM} Transactions on Software Engineering and Methodologies},
volume = {24},
number = {3},
pages = {16},
publisher = {ACM},
year = {2015},
}
- M. Baluda, G. Denaro, and M. Pezzè, "Bidirectional Symbolic Analysis for Effective Branch Testing," IEEE Transactions on Software Engineering, vol. PP, iss. 99, 2015. |
@article{Baluda:BidirectionalSymbExe:TSE:2015,
author = {Baluda, Mauro and Denaro, Giovanni and Pezz\`{e}, Mauro},
journal = {IEEE Transactions on Software Engineering},
title = {Bidirectional Symbolic Analysis for Effective Branch Testing},
year = {2015},
volume = {PP},
number = {99},
pages = {to appear},
publisher = {IEEE},
}
- M. Harman and M. Pezzè, "Introduction to the Special Issue on ISSTA 2013," ACM Transactions on Software Engineering and Methodology, vol. 24, iss. 4, p. 21, 2015. |
@article{Harman:specialISSTA:tosem:2015,
author = {Mark Harman and Mauro Pezz\`{e}},
title = {Introduction to the Special Issue on {ISSTA} 2013},
journal = {ACM Transactions on Software Engineering and Methodology},
volume = {24},
number = {4},
pages = {21},
year = {2015},
}
- A. Margara, M. Pezzè, I. V. Pivkin, and M. Santoro, "Towards an Engineering Methodology for Multi-model Scientific Simulations," in Proceedings of the 1st IEEE/ACM International Workshop on Software Engineering for High Performance Computing in Science, 2015, pp. 51-55. |
@inproceedings{Margara:ScientificSimulations:SE4HPCS:2015,
author = {Alessandro Margara and Mauro Pezz{\`{e}} and Igor V. Pivkin and Mauro Santoro},
title = {Towards an Engineering Methodology for Multi-model Scientific Simulations},
series = {SE4HPCS '15},
booktitle = {Proceedings of the 1st {IEEE/ACM} International Workshop on Software Engineering for High Performance Computing in Science},
pages = {51--55},
year = {2015},
}
- M. Pezzè, "Towards Cost-Effective Oracles," in Proceedings of the 10th IEEE/ACM International Workshop on Automation of Software Test, 2015, pp. 1-2. |
@inproceedings{Pezze:CostEffectiveOracles:AST:2015,
author = {Mauro Pezz{\`{e}}},
title = {Towards Cost-Effective Oracles},
series = {AST '15},
booktitle = {Proceedings of the 10th {IEEE/ACM} International Workshop on Automation of Software Test},
pages = {1--2},
year = {2015},
}
- P. Braione, G. Denaro, and M. Pezzè, "Symbolic execution of programs with heap inputs," in Proceedings of the 10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on The Foundations of Software Engineering, 2015, pp. 602-613. |
@inproceedings{Braione:SymbExeHeapInputs:ESECFSE:2015,
author = {Pietro Braione and Giovanni Denaro and Mauro Pezz{\`{e}}},
title = {Symbolic execution of programs with heap inputs},
series = {ESEC/FSE '15},
booktitle = {Proceedings of the 10th Joint Meeting of the European Software Engineering Conference and the {ACM} SIGSOFT Symposium on The Foundations of Software Engineering},
pages = {602--613},
year = {2015},
}
- G. Cugola, A. Margara, M. Pezzè, and M. Pradella, "Efficient analysis of event processing applications," in Proceedings of the 9th ACM International Conference on Distributed Event-Based Systems, 2015, pp. 10-21. |
@inproceedings{Cugola:events:DEBS:2015,
author = {Gianpaolo Cugola and Alessandro Margara and Mauro Pezz{\`{e}} and Matteo Pradella},
title = {Efficient analysis of event processing applications},
booktitle = {Proceedings of the 9th {ACM} International Conference on Distributed Event-Based Systems},
pages = {10--21},
year = {2015},
series = {DEBS '15},
}
- 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. |
@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},
}
- 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. |
@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. |
@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. |
@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. 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. |
@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},
}
- 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. |
@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},
}
- M. MirzaAghaei, F. Pastore, and M. Pezzè, "Automatic test case evolution," Software Testing, Verification and Reliability, vol. 24, iss. 5, pp. 386-411, 2014. |
@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},
}
- 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. |
@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},
}
- 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. |
@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. 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. |
@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},
}
- 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. |
@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},
}
- 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. |
@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},
}
- 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. |
@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},
}
- 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. |
@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},
}
- 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. |
@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},
}
- International Symposium on Software Testing and Analysis, ISSTA 2013, July 15-20, 2013, Lugano, SwitzerlandACM, 2013. |
@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},
}
- 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. |
@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},
}
- 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. |
@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},
}
- 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. |
@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},
}
- 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. |
@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. |
@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. |
@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. |
@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},
}
- 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. |
@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},
}
- 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. |
@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},
}
- 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. |
@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},
}
- 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. |
@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. |
@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. |
@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},
}
- 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. |
@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},
}
- 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. |
@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},
}
- 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. |
@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},
}
- 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. |
@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},
}
- 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. |
@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},
}
- 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. |
@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},
}
- 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. |
@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},
}
- 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. |
@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},
}
- 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. |
@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},
}
- 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. |
@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},
}
- 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. |
@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},
}
- 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. |
@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},
}
- 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. |
@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. |
@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},
}
- 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. |
@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},
}
- 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. |
@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. |
@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. |
@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. 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. |
@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, 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. |
@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},
}
- 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. |
@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},
}
- 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. |
@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. |
@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},
}
- 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. |
@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},
}
- 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. |
@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},
}
- 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. |
@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},
}
- 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. |
@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},
}
- 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. |
@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},
}
- 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. |
@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},
}
- M. Pezzè and M. Young, Software Testing and Analysis: Process, Principles and Techniques, Wiley, 2007. |
@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},
}
- 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. |
@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. |
@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},
}
- 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. |
@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},
}
- 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. |
@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. |
@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},
}
- 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. |
@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},
}
- L. Mariani and M. Pezzè, "A Technique for Verifying Component-Based Software," Electronic Notes in Theoretical Computer Science, vol. 116, pp. 17-30, 2005. |
@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},
}
- 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. |
@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. Baresi and M. Pezzè, "Formal Interpreters for Diagram Notations," ACM Transactions on Software Engineering and Methodology, vol. 14, iss. 1, pp. 42-84, 2005. |
@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},
}
- M. Pezzè, "Preface," Electronic Notes in Theoretical Computer Science, vol. 116, pp. 1-2, 2005. |
@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è, 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. |
@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},
}
- 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. |
@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},
}
- 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. |
@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. 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. |
@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},
}
- 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. |
@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},
}
- 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. |
@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},
}
- 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. |
@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. |
@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è, "Preface," Electronic Notes in Theoretical Computer Science, vol. 82, iss. 6, 2003. |
@article{Pezze:Preface:ElectrNotes:2003,
author = {Mauro Pezz\`{e}},
journal = {Electronic Notes in Theoretical Computer Science},
number = {6},
title = {Preface},
volume = {82},
year = {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. |
@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},
}
- 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. |
@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},
}
- 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. |
@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},
}
- 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. |
@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},
}
- 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. |
@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},
}
- 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. |
@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},
}
- 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. |
@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},
}
- L. Baresi and M. Pezzè, "Improving UML with Petri nets," Electronic Notes in Theoretical Computer Science, vol. 44, iss. 4, pp. 107-119, 2001. |
@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},
}
- 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. |
@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},
}
- 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. |
@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},
}
- 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. |
@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},
}
- 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. |
@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. Pezzè and S. M. Shatz, "Editorial," Computer Systems Science and Engineering, vol. 16, iss. 3, pp. 151-152, 2001. |
@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},
}
- 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. |
@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},
}
- 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. |
@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},
}
- 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. |
@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},
}
- 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. |
@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},
}
- 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. |
@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},
}
- 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. |
@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},
}
- 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. |
@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},
}
- 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. |
@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},
}
- S. Morasca, M. Pezzè, and S. Silva, "Mutation Analysis for Concurrent Ada Programs," in QW '96: Proceeedings of the 9th Quality Week, 1996. |
@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},
}
- 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. |
@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},
}
- 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. |
@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},
}
- 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. |
@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. |
@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},
}
- 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. |
@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},
}
- 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. |
@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},
}
- 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. |
@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},
}
- 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. |
@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},
}
- 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. |
@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},
}
- 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. |
@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è, "Symbolic Execution of Concurrent Systems Using Petri Nets," Computer Languages, vol. 14, iss. 4, pp. 263-281, 1989. |
@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},
}
- 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. |
@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},
}
- 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. |
@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},
}
