Mauro Pezzè: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

51

[IEEE 2009 31st International Conference on Software Engineering - Companion Volume - Vancouver, BC, Canada (2009.05.16-2009.05.24)] 2009 31st International Conference on Software Engineering - Companion Volume - LuMiNous—model-driven assertion generation for runtime failure detection

Pezze, Mauro, Wuttkez, Jochen

Year:

2009

Language:

english

File:

PDF, 107 KB

english, 2009

52

[IEEE 2008 23rd IEEE/ACM International Conference on Automated Software Engineering - Workshops - L'Aquila, Italy (2008.09.15-2008.09.16)] 2008 23rd IEEE/ACM International Conference on Automated Software Engineering - Workshops - Self-healing strategies for component integration faults

Herve Chang,, Mariani, Leonardo, Pezze, Mauro

Year:

2008

Language:

english

File:

PDF, 203 KB

english, 2008

53

[ACM Press the 2nd international workshop - Leipzig, Germany (2008.05.10-2008.05.11)] Proceedings of the 2nd international workshop on Ultra-large-scale software-intensive systems - ULSSIS '08 - Visibility of control in adaptive systems

Müller, Hausi, Pezzè, Mauro, Shaw, Mary

Year:

2008

Language:

english

File:

PDF, 33.48 MB

english, 2008

54

Kriging-based Self-adaptive Cloud Controllers

Gambi, Alessio, Pezze, Mauro, Toffetti, Giovanni

Journal:

IEEE Transactions on Services Computing

Year:

2015

Language:

english

File:

PDF, 2.63 MB

english, 2015

55

Model-driven generation of runtime checks for system properties

Pezzé, Mauro, Wuttke, Jochen

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2016

Language:

english

File:

PDF, 2.01 MB

english, 2016

56

[ACM Press the 36th International Conference - Hyderabad, India (2014.05.31-2014.06.07)] Proceedings of the 36th International Conference on Software Engineering - ICSE 2014 - Mining behavior models from user-intensive web applications

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

Year:

2014

Language:

english

File:

PDF, 904 KB

english, 2014

57

Towards Industrially Relevant Fault-Proneness Models

Denaro, Giovanni, Pezzè, Mauro, Morasca, Sandro

Journal:

International Journal of Software Engineering and Knowledge Engineering

Year:

2003

Language:

english

File:

PDF, 256 KB

english, 2003

58

[ACM Press the 2005 workshop - St. Louis, Missouri (2005.05.21-2005.05.21)] Proceedings of the 2005 workshop on Design and evolution of autonomic application software - DEAS '05 - Adaptive integration of third-party web services

Denaro, Giovanni, Pezzé, Mauro, Tosi, Davide

Year:

2005

Language:

english

File:

PDF, 383 KB

english, 2005

59

[ACM Press The 6th Joint Meeting - Dubrovnik, Croatia (2007.09.03-2007.09.07)] The 6th Joint Meeting on European software engineering conference and the ACM SIGSOFT symposium on the foundations of software engineering companion papers - ESEC-FSE companion '07 - SOQUA 2007 4th international workshop on software quality assurance

Denaro, Giovanni, Pezzè, Mauro, Shehory, Onn

Year:

2007

Language:

english

File:

PDF, 139 KB

english, 2007

60

[ACM Press the 1993 international symposium - Cambridge, Massachusetts, United States (1993.06.28-1993.06.30)] Proceedings of the 1993 international symposium on Software testing and analysis - ISSTA '93 - Analyzing refinements of state based specifications

Felder, Miguel, Ghezzi, Carlo, Pezzè, Mauro

Year:

1993

Language:

english

File:

PDF, 870 KB

english, 1993

61

Formal interpreters for diagram notations

Baresi, Luciano, Pezzè, Mauro

Journal:

ACM Transactions on Software Engineering and Methodology

Year:

2005

Language:

english

File:

PDF, 815 KB

english, 2005

62

[ACM Press the 2013 9th Joint Meeting - Saint Petersburg, Russia (2013.08.18-2013.08.26)] Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2013 - Enhancing symbolic execution with built-in term rewriting and constrained lazy initialization

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

Year:

2013

Language:

english

File:

PDF, 506 KB

english, 2013

63

Introduction to the special section from the ACM international symposium on software testing and analysis (ISSTA 2006)

Notkin, David, Pezzè, Mauro

Journal:

ACM Transactions on Software Engineering and Methodology

Year:

2008

Language:

english

File:

PDF, 34 KB

english, 2008

64

[ACM Press the 2014 International Symposium - San Jose, CA, USA (2014.07.21-2014.07.25)] Proceedings of the 2014 International Symposium on Software Testing and Analysis - ISSTA 2014 - Link: exploiting the web of data to generate test inputs

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

Year:

2014

Language:

english

File:

PDF, 948 KB

english, 2014

65

Exception handlers for healing component-based systems

Chang, Hervé, Mariani, Leonardo, Pezzè, Mauro

Journal:

ACM Transactions on Software Engineering and Methodology

Year:

2013

Language:

english

File:

PDF, 2.63 MB

english, 2013

66

[ACM Press the International Symposium - Portland, Oregon, United States (2000.08.21-2000.08.24)] Proceedings of the International Symposium on Software Testing and Analysis - ISSTA '00 - Automated Testing of Classes

Buy, Ugo, Orso, Alessandro, Pezze, Mauro

Year:

2000

Language:

english

File:

PDF, 388 KB

english, 2000

67

A formal design notation for real-time systems

Felder, Miguel, Pezzè, Mauro

Journal:

ACM Transactions on Software Engineering and Methodology

Year:

2002

Language:

english

File:

PDF, 2.59 MB

english, 2002

68

Adaptive integration of third-party web services

Denaro, Giovanni, Pezzé, Mauro, Tosi, Davide

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2005

Language:

english

File:

PDF, 383 KB

english, 2005

69

Analyzing refinements of state based specifications

Felder, Miguel, Ghezzi, Carlo, Pezzè, Mauro

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

1993

Language:

english

File:

PDF, 870 KB

english, 1993

70

Generation of multi-formalism state-space analysis tools

Pezzè, Mauro, Young, Michal

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

1996

Language:

english

File:

PDF, 714 KB

english, 1996

71

Using symbolic execution for verifying safety-critical systems

Coen-Porisini, Alberto, Denaro, Giovanni, Ghezzi, Carlo, Pezzé, Mauro

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2001

Language:

english

File:

PDF, 137 KB

english, 2001

72

[ACM Press the 22nd international conference - Limerick, Ireland (2000.06.04-2000.06.11)] Proceedings of the 22nd international conference on Software engineering - ICSE '00 - The ICSE2000 doctoral workshop

Magee, Jeff, Pezzè, Mauro

Year:

2000

Language:

english

File:

PDF, 39 KB

english, 2000

73

[ACM Press the 2nd International Workshop - Cape Town, South Africa (2010.05.01-2010.05.02)] Proceedings of the 2nd International Workshop on Principles of Engineering Service-Oriented Systems - PESOS '10 - Protecting SLAs with surrogate models

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

Year:

2010

Language:

english

File:

PDF, 674 KB

english, 2010

74

[ACM Press the 32nd ACM/IEEE International Conference - Cape Town, South Africa (2010.05.01-2010.05.08)] Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - ICSE '10 - RAW

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

Year:

2010

Language:

english

File:

PDF, 628 KB

english, 2010

75

[ACM Press Proceeding of the 33rd international conference - Waikiki, Honolulu, HI, USA (2011.05.21-2011.05.28)] Proceeding of the 33rd international conference on Software engineering - ICSE '11 - AutoBlackTest

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

Year:

2011

Language:

english

File:

PDF, 187 KB

english, 2011

76

[ACM Press the 19th international conference - Boston, Massachusetts, United States (1997.05.17-1997.05.23)] Proceedings of the 19th international conference on Software engineering - ICSE '97 - Constructing multi-formalism state-space analysis tools

Pezzè, Mauro, Young, Michal

Year:

1997

Language:

english

File:

PDF, 1.49 MB

english, 1997

77

[ACM Press the 36th International Conference - Hyderabad, India (2014.05.31-2014.06.07)] Proceedings of the 36th International Conference on Software Engineering - ICSE 2014 - Cross-checking oracles from intrinsic software redundancy

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

Year:

2014

Language:

english

File:

PDF, 377 KB

english, 2014

78

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

Murphy, Gail C., Pezzé, Mauro

Journal:

ACM Transactions on Software Engineering and Methodology

Year:

2014

Language:

english

File:

PDF, 32 KB

english, 2014

79

[ACM Press the 9th ACM International Conference - Oslo, Norway (2015.06.29-2015.07.03)] Proceedings of the 9th ACM International Conference on Distributed Event-Based Systems - DEBS '15 - Efficient analysis of event processing applications

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

Year:

2015

Language:

english

File:

PDF, 677 KB

english, 2015

80

[ACM Press the 2015 International Symposium - Baltimore, MD, USA (2015.07.13-2015.07.17)] Proceedings of the 2015 International Symposium on Software Testing and Analysis - ISSTA 2015 - Reusing constraint proofs in program analysis

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

Year:

2015

Language:

english

File:

PDF, 878 KB

english, 2015

81

[ACM Press the 22nd international conference - Limerick, Ireland (2000.06.04-2000.06.11)] Proceedings of the 22nd international conference on Software engineering - ICSE '00 - Who needs doctors? (panel session) (abstract only)

Magee, Jeff, Pezzè, Mauro

Year:

2000

File:

PDF, 77 KB

2000

82

[ACM Press the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium - Vienna, Austria (2001.09.10-2001.09.14)] Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering - ESEC/FSE-9 - Using symbolic execution for verifying safety-critical systems

Coen-Porisini, Alberto, Denaro, Giovanni, Ghezzi, Carlo, Pezzé, Mauro

Year:

2001

Language:

english

File:

PDF, 137 KB

english, 2001

83

[ACM Press the 2006 international workshop - Shanghai, China (2006.05.23-2006.05.23)] Proceedings of the 2006 international workshop on Dynamic systems analysis - WODA '06 - Inferring state-based behavior models

Lorenzoli, Davide, Mariani, Leonardo, Pezzè, Mauro

Year:

2006

Language:

english

File:

PDF, 1.00 MB

english, 2006

84

[ACM Press the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium - Dubrovnik, Croatia (2007.09.03-2007.09.07)] Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering - ESEC-FSE '07 - SOQUA 2007

Denaro, Giovanni, Pezzè, Mauro, Shehory, Onn

Year:

2007

Language:

english

File:

PDF, 138 KB

english, 2007

85

[ACM Press the 32nd ACM/IEEE International Conference - Cape Town, South Africa (2010.05.01-2010.05.08)] Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - ICSE '10 - Fifth Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2010)

Cheng, Betty H. C., de Lemos, Rogério, Garlan, David, Giese, Holger, Litoiu, Marin, Magee, Jeff, Müller, Hausi A., Pezzè, Mauro, Taylor, Richard

Year:

2010

Language:

english

File:

PDF, 150 KB

english, 2010

86

[ACM Press the 1996 international symposium - San Diego, California, United States (1996.01.08-1996.01.10)] Proceedings of the 1996 international symposium on Software testing and analysis - ISSTA '96 - Generation of multi-formalism state-space analysis tools

Pezzè, Mauro, Young, Michal

Year:

1996

Language:

english

File:

PDF, 714 KB

english, 1996

87

[ACM Press the 22nd ACM SIGSOFT International Symposium - Hong Kong, China (2014.11.16-2014.11.21)] Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering - FSE 2014 - Search-based synthesis of equivalent method sequences

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

Year:

2014

Language:

english

File:

PDF, 402 KB

english, 2014

88

[ACM Press the First International Workshop - Toronto, Ontario, Canada (2011.07.17-2011.07.17)] Proceedings of the First International Workshop on End-to-End Test Script Engineering - ETSE '11 - Automated GUI refactoring and test script repair

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

Year:

2011

Language:

english

File:

PDF, 284 KB

english, 2011

89

[ACM Press the 19th international conference - Boston, Massachusetts, United States (1997.05.17-1997.05.23)] Proceedings of the 19th international conference on Software engineering - ICSE '97 - Introducing formal specification methods in industrial practice

Baresi, Luciano, Orso, Alessandro, Pezzè, Mauro

Year:

1997

Language:

english

File:

PDF, 1.66 MB

english, 1997

90

[ACM Press the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering - Amsterdam, The Netherlands (2009.08.24-2009.08.28)] Proceedings of the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering on European software engineering conference and foundations of software engineering symposium - ESEC/FSE '09 - Ensuring interoperable service-oriented systems through engineered self-healing

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

Year:

2009

Language:

english

File:

PDF, 485 KB

english, 2009

91

[ACM Press the 5th Workshop - Cape Town, South Africa (2010.05.03-2010.05.04)] Proceedings of the 5th Workshop on Automation of Software Test - AST '10 - Structural coverage of feasible code

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

Year:

2010

Language:

english

File:

PDF, 695 KB

english, 2010

92

[ACM Press the 24th international conference - Orlando, Florida (2002.05.19-2002.05.25)] Proceedings of the 24th international conference on Software engineering - ICSE '02 - An empirical evaluation of fault-proneness models

Denaro, Giovanni, Pezzè, Mauro

Year:

2002

Language:

english

File:

PDF, 1.16 MB

english, 2002

93

[ACM Press the 13th international conference - Leipzig, Germany (2008.05.10-2008.05.18)] Proceedings of the 13th international conference on Software engineering - ICSE '08 - Automatic generation of software behavioral models

Lorenzoli, Davide, Mariani, Leonardo, Pezzè, Mauro

Year:

2008

Language:

english

File:

PDF, 957 KB

english, 2008

94

[ACM Press the 2nd International Workshop - Cape Town, South Africa (2010.05.01-2010.05.02)] Proceedings of the 2nd International Workshop on Principles of Engineering Service-Oriented Systems - PESOS '10 - SEIM

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

Year:

2010

Language:

english

File:

PDF, 256 KB

english, 2010

95

[ACM Press the twenty-second IEEE/ACM international conference - Atlanta, Georgia, USA (2007.11.05-2007.11.09)] Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering - ASE '07 - Iterative model-driven development of adaptable service-based applications

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

Year:

2007

Language:

english

File:

PDF, 341 KB

english, 2007

96

Bidirectional Symbolic Analysis for Effective Branch Testing

Baluda, Mauro, Denaro, Giovanni, Pezze, Mauro

Journal:

IEEE Transactions on Software Engineering

Year:

2015

Language:

english

File:

PDF, 887 KB

english, 2015

97

[IEEE 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering (ICSE) - Florence, Italy (2015.5.16-2015.5.24)] 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering - Measuring Software Redundancy

Carzaniga, Antonio, Mattavelli, Andrea, Pezze, Mauro

Year:

2015

Language:

english

File:

PDF, 708 KB

english, 2015

98

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

Calinescu, Radu, Ghezzi, Carlo, Johnson, Kenneth, Pezze, Mauro, Rafiq, Yasmin, Tamburrelli, Giordano

Journal:

IEEE Transactions on Reliability

Year:

2015

Language:

english

File:

PDF, 2.74 MB

english, 2015

99

[ACM Press the 2015 10th Joint Meeting - Bergamo, Italy (2015.08.30-2015.09.04)] Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2015 - Symbolic execution of programs with heap inputs

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

Year:

2015

Language:

english

File:

PDF, 497 KB

english, 2015

100

[IEEE 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering (ICSE) - Florence, Italy (2015.5.16-2015.5.24)] 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering - Dynamic Data Flow Testing of Object Oriented Systems

Denaro, Giovanni, Margara, Alessandro, Pezze, Mauro, Vivanti, Mattia

Year:

2015

Language:

english

File:

PDF, 799 KB

english, 2015