Mauro Pezzè

Q: What Schools Are Affiliated With Mauro Pezzè

Mauro Pezzè is affiliated with the following schools: Polytechnic University of Milan, Schaffhausen Institute of Technology, Università della Svizzera italiana, University of Milano-Bicocca

Mauro Pezzè's AcademicInfluence.com Rankings

Mauro Pezzè

Computer Science

#2770

World Rank

#2898

Historical Rank

Informatics

#23

World Rank

#24

Historical Rank

computer-science Degrees

Download Badge

Computer Science

Why Is Mauro Pezzè Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Mauro Pezzè is an Italian computer scientist. He is a professor of the faculty of informatics at the Università della Svizzera italiana, Switzerland where he had been the dean of the faculty of informatics from 2009 ti 2012. He is also a professor of software engineering at the Università degli Studi di Milano-Bicocca. He has been co-chair of the International Conference on Software Engineering. Mauro is the co-author of Software testing and analysis: process, principles, and techniques published by Wiley in 2007. Since 2019 he is professor of software engineering at the Schaffhausen Institute of Technology. His research interests are mainly software redundancy, self-healing and self-adaptive software systems.

(See a Problem?)

Mauro Pezzè's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

An Introduction to Software Testing (2006) (958)
Software Engineering for Self-Adaptive Systems: A Second Research Roadmap (2010) (790)
Engineering Self-Adaptive Systems through Feedback Loops (2009) (604)
Automatic generation of software behavioral models (2008) (438)
A Unified High-Level Petri Net Formalism for Time-Critical Systems (1991) (385)
Software testing and analysis - process, principles and techniques (2007) (370)
An empirical evaluation of fault-proneness models (2002) (157)
ACM Transactions on Software Engineering and Methodology : Volume 22, Nomor 4, 2013 (2014) (135)
On Formalizing UML with High-Level Petri Nets (2001) (118)
Using symbolic execution for verifying safety-critical systems (2001) (115)
Towards Practical Runtime Verification and Validation of Self-Adaptive Software Systems (2013) (112)
Visibility of control in adaptive systems (2008) (109)
Automatic steering of behavioral model inference (2009) (105)
Automatic recovery from runtime failures (2013) (104)
Dynamic Analysis for Diagnosing Integration Faults (2011) (104)
Automated Testing of Classes (2000) (96)
AutoBlackTest: Automatic Black-Box Testing of Interactive Applications (2012) (92)
A general way to put time in Petri nets (1989) (92)
Dynamic Detection of COTS Component Incompatibility (2007) (86)
Compatibility and Regression Testing of COTS-Component-Based Software (2007) (86)
Automatic workarounds for web applications (2010) (86)
Mining behavior models from user-intensive web applications (2014) (79)
Automatic generation of oracles for exceptional behaviors (2016) (78)
Deriving models of software fault-proneness (2002) (65)
A Unified High-level Petri Net Model for Time Critical Systems (1991) (62)
Translating code comments to procedure specifications (2018) (62)
PLCTOOLS: design, formal validation, and code generation for programmable controllers (2000) (60)
Behavior capture and test: automated analysis of component integration (2005) (59)
Formal Verification With Confidence Intervals to Establish Quality of Service Properties of Software Systems (2016) (59)
Supporting Test Suite Evolution through Test Case Adaptation (2012) (55)
Interclass testing of object oriented software (2002) (54)
Improving UML with Petri nets (2001) (50)
Cross-checking oracles from intrinsic software redundancy (2014) (48)
Towards self-adaptive service-oriented architectures (2006) (48)
AutoBlackTest: a tool for automatic black-box testing (2011) (45)
Inferring state-based behavior models (2006) (44)
Localizing Faults in Cloud Systems (2018) (44)
Introducing Formal Specification Methods in Industrial Practice (1997) (42)
A Technique for Verifying Component-Based Software (2004) (42)
Combining symbolic execution and search-based testing for programs with complex heap inputs (2017) (41)
Graph models for reachability analysis of concurrent programs (1995) (40)
Automated Test Oracles: A Survey (2015) (38)
JBSE: a symbolic executor for Java programs with complex heap inputs (2016) (38)
Automated GUI refactoring and test script repair (2011) (38)
Petri Nets and Software Engineering (2003) (37)
Search-based synthesis of equivalent method sequences (2014) (35)
A Survey of Recent Trends in Testing Concurrent Software Systems (2018) (35)
Ensuring interoperable service-oriented systems through engineered self-healing (2009) (33)
Healing Web applications through automatic workarounds (2008) (33)
Augusto: Exploiting Popular Functionalities for the Generation of Semantic GUI Tests with Oracles (2018) (33)
Self-healing by means of automatic workarounds (2008) (33)
Automatically repairing test cases for evolving method declarations (2010) (32)
GK-Tail+ An Efficient Approach to Learn Software Models (2017) (32)
A Petri Net and Logic Approach to the Specification and Verification of Real Time Systems (1996) (32)
Reusing constraint proofs in program analysis (2015) (31)
The Road to Maturity: Navigating Between Craft and Science (1997) (31)
Enhancing symbolic execution with built-in term rewriting and constrained lazy initialization (2013) (31)
In-field healing of integration problems with COTS components (2009) (30)
Symbolic execution of programs with heap inputs (2015) (29)
Generating Effective Integration Test Cases from Unit Ones (2013) (29)
Structural coverage of feasible code (2010) (28)
Automatic testing of GUI‐based applications (2014) (28)
Formal interpreters for diagram notations (2005) (28)
An empirical evaluation of object oriented metrics in industrial setting (2003) (28)
Towards Industrially Relevant Fault-Proneness Models (2003) (27)
Kriging Controllers for Cloud Applications (2013) (27)
Generation of Integration Tests for Self-Testing Components (2004) (27)
Towards autonomic service-oriented applications (2009) (27)
Validating timing requirements for time basic net specifications (1994) (26)
Measuring Software Redundancy (2015) (25)
Towards Self-Protecting Enterprise Applications (2007) (25)
Enhancing structural software coverage by incrementally computing branch executability (2011) (24)
Engineering Autonomic Controllers for Virtualized Web Applications (2010) (24)
A technique for designing robotic control systems based on Petri nets (1998) (23)
Automatic Workarounds: Exploiting the Intrinsic Redundancy of Web Applications (2015) (23)
Achieving Cost-Effective Software Reliability Through Self-Healing (2010) (23)
Mutant Operators for Testing Concurrent Java Programs (2001) (23)
Dynamic Data Flow Testing of Object Oriented Systems (2015) (22)
PLCTools: Graph Transformation Meets PLC Design (2002) (22)
Assurance of Self-adaptive Controllers for the Cloud (2013) (22)
Bidirectional Symbolic Analysis for Effective Branch Testing (2016) (22)
Fourth international workshop on Software quality assurance: in conjunction with the 6th ESEC/FSE joint meeting (2007) (22)
Efficient analysis of event processing applications (2015) (21)
Constructing Multi-Formalism State-Space Analysis Tools: Using rules to specify dynamic semantics of models (1997) (21)
Recent Advances in Automatic Black-Box Testing (2015) (20)
Testing object-oriented software (2004) (19)
Symbolic Execution of Concurrent Systems Using Petri Nets (1989) (19)
Reproducing concurrency failures from crash stacks (2017) (18)
Analyzing refinements of state based specifications: the case of TB nets (1993) (18)
Fundamental Approaches to Software Engineering (2018) (18)
SUSHI: A Test Generator for Programs with Complex Structured Inputs (2018) (17)
An Exploratory Study of Field Failures (2017) (17)
A Toolbox for Automating Visual Software Engineering (2002) (16)
Handling Software Faults with Redundancy (2009) (16)
Toward formalizing structured analysis (1998) (16)
Link: exploiting the web of data to generate test inputs (2014) (16)
A formal design notation for real-time systems (2002) (16)
Designing Self-Adaptive Service-Oriented Applications (2007) (16)
Kriging-Based Self-Adaptive Cloud Controllers (2016) (16)
Exception handlers for healing component-based systems (2013) (15)
Heuristically Matching Solution Spaces of Arithmetic Formulas to Efficiently Reuse Solutions (2017) (14)
Self-Test Components for Highly Reconfigurable Systems (2003) (14)
A SOA based Self-Adaptive PERSONAL MOBILITY MANAGER (2006) (13)
Predicting Failures in Multi-Tier Distributed Systems (2019) (13)
Merlot: a tool for analysis of real-time specifications (1993) (13)
Automatic test case evolution (2014) (13)
Evolutionary improvement of assertion oracles (2020) (13)
A practical approach to formal design of real-time systems (1996) (12)
Measuring Software Testability Modulo Test Quality (2020) (12)
Automatic Generation of Runtime Failure Detectors from Property Templates (2009) (12)
Model-driven generation of runtime checks for system properties (2016) (12)
Giving semantics to SA/RT by means of high-level timed Petri nets (1993) (12)
On the Right Objectives of Data Flow Testing (2014) (11)
Effectiveness and Challenges in Generating Concurrent Tests for Thread-Safe Classes (2018) (11)
Generation of multi-formalism state-space analysis tools (1996) (11)
Contextual Integration Testing of Classes (2008) (11)
LEMMA: A Language for Easy Medical Models Analysis (1997) (11)
A toolset for automated failure analysis (2009) (10)
On Introducing Automatic Test Case Generation in Practice: A Success Story and Lessons Learned (2021) (10)
SLA Protection models for virtualized data centers (2009) (10)
MeMo: Automatically identifying metamorphic relations in Javadoc comments for test automation (2021) (10)
SHIWS: A Self-Healing Integrator for Web Services (2007) (10)
SEIM: static extraction of interaction models (2010) (10)
High-Level Timed Petri Nets as a kernel for executable specifications (1993) (9)
A Survey of Field-based Testing Techniques (2021) (9)
Iterative model-driven development of adaptable service-based applications (2007) (9)
Proceedings of the 38th International Conference on Software Engineering (2012) (9)
PLC PROGRAMMING LANGUAGES : A FORMAL APPROACH (2003) (9)
Automatic GUI testing of desktop applications: an empirical assessment of the state of the art (2018) (9)
Self-healing strategies for component integration faults (2008) (9)
Test-and-adapt: An approach for improving service interchangeability (2013) (9)
Protecting SLAs with surrogate models (2010) (8)
Adaptive runtime verification for autonomic communication infrastructures (2005) (8)
DaTeC: Contextual data flow testing of java classes (2009) (8)
Validation of Concurrent ADA Programs using Symbolic Execution (1989) (8)
A Formal Framework for Developing Adaptable Service-Based Applications (2008) (8)
RAW: runtime automatic workarounds (2010) (7)
Introduction to the Special Section (1999) (7)
Graph transformations and software engineering: Success stories and lost chances (2013) (7)
Timed high-level nets (1991) (7)
An RBM Anomaly Detector for the Cloud (2019) (7)
Semantic matching of GUI events for test reuse: are we there yet? (2021) (7)
Adaptive integration of third-party web services (2005) (7)
Energy-Based Anomaly Detection A New Perspective for Predicting Software Failures (2019) (6)
Behavior Capture and Test for Controlling the Quality of Component-Based Integrated Systems (2003) (6)
Verifying LTL Properties of Bytecode with Symbolic Execution (2008) (6)
Quantifying the complexity of dataflow testing (2013) (6)
An Evolutionary Approach to Adapt Tests Across Mobile Apps (2021) (6)
Fifth Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2010) (2010) (6)
Software design of robot controllers with Petri nets: a case-study (1996) (5)
Self-Repairing Programs (Dagstuhl Seminar 11062) (2011) (5)
Reusing Solutions Modulo Theories (2021) (5)
Coverage-Driven Test Generation for Thread-Safe Classes via Parallel and Conflict Dependencies (2019) (5)
Adaptive REST applications via model inference and probabilistic model checking (2013) (5)
From Graph Transformation to Software Engineering and Back (2005) (5)
Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2006, Portland, Maine, USA, July 17-20, 2006 (2006) (5)
Mining Finite-State Automata with Annotations (2011) (4)
An Empirical Evaluation of Data Flow Testing of Java Classes (2007) (4)
Formal Specification and Timing Analysis of High-Integrity Real-Time Systems (1992) (4)
Towards extensible graphical formalisms (1993) (4)
Property decomposition to speed up analysis (1995) (4)
On the Integration of Software Testing and Formal Analysis (2010) (4)
Adaptive integration of third-party web services (2005) (4)
A New Timed Petri Net Model for Hardware Representation (1991) (4)
International Symposium on Software Testing and Analysis, ISSTA '13, Lugano, Switzerland, July 15-20, 2013 (2013) (3)
Toward deeply adaptive societies of digital systems (2009) (3)
The rationale of an environment for real-time software (1989) (3)
Towards an Engineering Methodology for Multi-model Scientific Simulations (2015) (3)
Fundamental Approaches to Software Engineering (2003) (3)
Customizable notations for kernel formalisms (1995) (3)
Improving Interaction with Services via Probabilistic Piggybacking (2013) (2)
Semantic-based Analysis of Javadoc Comments (2017) (2)
Parallel Execution of Real-Time Petri Nets (1993) (2)
Towards Cost-Effective Oracles (2015) (2)
Voice and data performance measurements in L-express net (1986) (2)
Can Graph Grammars Make Formal Methods More Human? (2000) (2)
GAssert: A Fully Automated Tool to Improve Assertion Oracles (2021) (2)
A software architecture approach for designing CASE systems (1996) (1)
From off-Line to continuous on-line maintenance (2012) (1)
Software Engineering and Petri Nets (2000) (1)
Peer Review: Trust and Prejudice. (2020) (1)
Generation of Self-Testing Components (2004) (1)
Petri Nets as Semantic Domain for Diagram Notations (2005) (1)
Statically driven generation of concurrent tests for thread‐safe classes (2021) (1)
Proceedings of the 2006 international symposium on Software testing and analysis (2006) (1)
kBehavior: Algorithms and Complexity (2011) (1)
The Maturity of Software Engineering [Response] (1997) (1)
Proceedings of the 2nd International Workshop on testing and analysis af component based systems (2004) (1)
Intrinsic software redundancy for self-healing software systems, automated oracle generation (2015) (1)
Design for Testability for Highly Reconfigurable Component-Based Systems (2003) (1)
Introduction - Graph Transformation and Visual Modeling Techniques - GT-VMT 2001 (2001) (1)
Proceedings of the 6th international conference on Fundamental approaches to software engineering (2003) (1)
Improving assertion oracles with evolutionary computation (2021) (1)
Peer Review (2020) (1)
A Formal Definition of Stuctured Analysis with Programmable Graph Grammars (1999) (1)
Dynamic Analysis for Integration Faults Localization (2008) (1)
On the Role of Software Reliability in Software Engineering (1987) (1)
Measuring Software Testability Modulo Test Quality - Replication Package (2020) (1)
Gassert: Evolutionary Improvement of Assertion Oracles - Tool (2020) (0)
Machine learning and natural language processing for automating software testing (tutorial) (2022) (0)
Introduction to the Special Issue International Conference on Software Engineering (ICSE 2012) (2014) (0)
Testing Software in Production Environments with Data from the Field (2022) (0)
Match Finalizing TestingRipping Structural Matching GUI Model Raw Match Interactive Application Test Reports AIF Recognition Full Match Reification Concrete Match (2018) (0)
Proceedings of the 4th international workshop on software quality assurance (2007) (0)
Software Engineering and Petri Nets Software Engineering and Petri Nets (2003) (0)
Research on NLP for RE at Università della Svizzera Italiana (USI): A Report (2019) (0)
18 11062 – Self-Repairing Programs Common Concerns and Insights (2011) (0)
Intrinsic Redundancy for Reliability and Beyond (2017) (0)
Editorial (2020) (0)
Message from the Workshop Chairs (2020) (0)
Introduction to the Special Issue on ISSTA 2013 (2015) (0)
Institutional Knowledge at Singapore Management University Institutional Knowledge at Singapore Management University Automatic Steering of Behavioral Model Inference Automatic Steering of Behavioral Model Inference (2020) (0)
Introduction to the special section on FASE 2003 (2007) (0)
A non-temporized approach for temporized analysis (1998) (0)
PREVENT: An Unsupervised Approach to Predict Software Failures in Production (2022) (0)
EDITORIAL: Announcing Six TOSEM Issues Per Year (2023) (0)
The ICSE2000 doctoral workshop (2000) (0)
Editorial: International Workshop on Software Engineering and Petri Nets (SEPN) (2001) (0)
Editorial (2020) (0)
Institutional Knowledge at Singapore Management University Institutional Knowledge at Singapore Management University Automatic Steering of Behavioral Model Inference Automatic Steering of Behavioral Model Inference (2020) (0)
Editorial (2021) (0)
Session details: Doctoral symposium session (2008) (0)
Editorial (2019) (0)
Health of smart ecosystems (2021) (0)
Proceedings of the 2013 International Symposium on Software Testing and Analysis (2013) (0)
Endocrinology and physiology (1986) (0)
Automated GUI Refactoring and Test Script Repair (Position Paper) (2011) (0)
The Ineffectiveness of Domain-Specific Word Embedding Models for GUI Test Reuse (2022) (0)
A Framework for Testing Object-Oriented Components (2015) (0)
Keynote addresses (2013) (0)
SPECIAL SECTION WQVV 07 Healing Web applications through automatic workarounds (0)
SOQUA 2007 4th international workshop on software quality assurance (2007) (0)
Proceedings - International Conference on Software Engineering: Foreword (2010) (0)
Peer Review (2020) (0)
Session details: Doctoral symposium (2002) (0)
Model-driven generation of runtime checks for system properties (2014) (0)
D2 - Self-healing Technical Research on COTS Based Telecom Cloud - A Solution for fault localization of network partial grey failures - methodology and tools (2015) (0)
Standard and protocols for visual materials (2017) (0)
LuMiNous—model-driven assertion generation for runtime failure detection (2009) (0)
Research demonstrations and posters (2003) (0)
Editorial: A Retrospective and Prospective Reflection (2022) (0)
Who needs doctors? (panel session) (abstract only) (2000) (0)
Editorial from the Incoming Editor-in-Chief (2019) (0)
Introducing Continuous Systematic Testing of Evolving Software (2010) (0)
SOQUA 2007: 4th international workshop on software quality assurance (2007) (0)
Scavenging complex genomic information using mobile code: an evaluation (2005) (0)
Introduction to the special section from the ACM international symposium on software testing and analysis (ISSTA 2006) (2008) (0)
QUACK: A Platform for the Quality of New Generation Integrated Embedded Systems (2004) (0)
Proceedings of the International Symposium on Software Testing and Analysis, ISSTA 2013 (2013) (0)
Call Me Maybe: Using NLP to Automatically Generate Unit Test Cases Respecting Temporal Constraints (2022) (0)
Engineering for Self-Adaptive Systems : A Second Research Roadmap ( Draft Version of November 9 , 2011 ) (2011) (0)
BCT: Behaviour Capture and Test (2011) (0)

This paper list is powered by the following services:

Other Resources About Mauro Pezzè

en.wikipedia.org

What Schools Are Affiliated With Mauro Pezzè?

Mauro Pezzè is affiliated with the following schools: