What is he best known for?
The fields of study he is best known for:
- Programming language
- Software
- Operating system
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 most cited work include:
- Software Engineering for Self-Adaptive Systems : A Second Research Roadmap (523 citations)
- Engineering Self-Adaptive Systems through Feedback Loops (424 citations)
- Automatic generation of software behavioral models (368 citations)
What are the main themes of his work throughout his whole career to date?
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.
He most often published in these fields:
- Software engineering (38.53%)
- Software (26.61%)
- Software system (28.90%)
What were the highlights of his more recent work (between 2014-2021)?
- Software system (28.90%)
- Software (26.61%)
- Test case (17.43%)
In recent papers he was focusing on the following fields of study:
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.
Between 2014 and 2021, his most popular works were:
- Automatic generation of oracles for exceptional behaviors (39 citations)
- Formal Verification With Confidence Intervals to Establish Quality of Service Properties of Software Systems (37 citations)
- Combining symbolic execution and search-based testing for programs with complex heap inputs (32 citations)
In his most recent research, the most cited papers focused on:
- Programming language
- Software
- Operating system
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.
