2017 - ACM Distinguished Member
Software development, Software, Software engineering, Software system and Software verification and validation are his primary areas of study. His Software development study combines topics from a wide range of disciplines, such as Object-oriented programming, Petri net and Systems engineering. Mauro Pezzè has researched Software in several fields, including Data mining, Test case, System testing, Formal verification and Component.
His Software engineering study integrates concerns from other disciplines, such as Exploit and Web API. His study in System of systems engineering extends to Software system with its themes. His biological study spans a wide range of topics, including Programmable logic controller and Control engineering.
His primary scientific interests are in Software engineering, Software, Software system, Programming language and Test case. His studies deal with areas such as Web service and Component-based software engineering, Software development, Social software engineering, Software construction as well as Software engineering. His Software research is multidisciplinary, incorporating elements of Redundancy, Reliability engineering, Object-oriented programming and Data mining.
His Software system study focuses on Software verification and validation in particular. His work on Petri net, Symbolic execution and Formal methods as part of general Programming language research is often related to Notation, thus linking different fields of science. His study looks at the relationship between Test case and fields such as Graphical user interface, as well as how they intersect with chemical problems.
Mauro Pezzè mostly deals with Software system, Software, Test case, Distributed computing and Programming language. Mauro Pezzè combines subjects such as Runtime verification, Redundancy, Reliability engineering, Cloud computing and Software engineering with his study of Software system. Mauro Pezzè is interested in System testing, which is a branch of Software engineering.
His Software research incorporates themes from Exploit, Field and Data mining. His Test case study integrates concerns from other disciplines, such as Graphical user interface, Android and Theoretical computer science. His work deals with themes such as Software development and Formal specification, which intersect with Natural language.
Mauro Pezzè mainly focuses on Programming language, Test case, Software system, Software and Symbolic execution. His Test case study combines topics from a wide range of disciplines, such as Data modeling and Test data generation. His Software system research includes themes of Runtime verification, Model checking, Software engineering and Markov chain.
His work carried out in the field of Software engineering brings together such families of science as Web application, Workaround and Concurrency. His Software research incorporates elements of Machine learning, Data mining, Fault tolerance, Exploit and Redundancy. His Symbolic execution study combines topics in areas such as Heap, Theoretical computer science, Symbolic data analysis, Executable and Search-based software engineering.
This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.
Software Engineering for Self-Adaptive Systems : A Second Research Roadmap
Rogério de Lemos;Holger Giese;Hausi A. Müller;Mary Shaw.
dagstuhl seminar proceedings (2013)
Engineering Self-Adaptive Systems through Feedback Loops
Yuriy Brun;Giovanna Marzo Serugendo;Cristina Gacek;Holger Giese.
Lecture Notes in Computer Science (2009)
Software Testing and Analysis : Process, Principles and Techniques
Michal Young;Mauro Pezze.
Automatic generation of software behavioral models
Davide Lorenzoli;Leonardo Mariani;Mauro Pezzè.
international conference on software engineering (2008)
A unified high-level Petri net formalism for time-critical systems
C. Ghezzi;D. Mandrioli;S. Morasca;M. Pezze.
IEEE Transactions on Software Engineering (1991)
An empirical evaluation of fault-proneness models
Giovanni Denaro;Mauro Pezzè.
international conference on software engineering (2002)
On formalizing UML with high-level petri nets
L. Baresi;M. Pezzè.
Lecture Notes in Computer Science (2001)
Automated Testing of Classes
Ugo Buy;Alessandro Orso;Mauro Pezze.
international symposium on software testing and analysis (2000)
Automatic steering of behavioral model inference
David Lo;Leonardo Mariani;Mauro Pezzè.
foundations of software engineering (2009)
Using symbolic execution for verifying safety-critical systems
Alberto Coen-Porisini;Giovanni Denaro;Carlo Ghezzi;Mauro Pezzé.
foundations of software engineering (2001)
Profile was last updated on December 6th, 2021.
Research.com Ranking is based on data retrieved from the Microsoft Academic Graph (MAG).
The ranking h-index is inferred from publications deemed to belong to the considered discipline.
If you think any of the details on this page are incorrect, let us know.
We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below: