Page d'accueil // SnT // Distinguishe... // Exploiting intrinsic redundancy to increase software reliability - May 7, 2014

Exploiting intrinsic redundancy to increase software reliability - May 7, 2014

It is our pleasure to host this distinguished lecture by Prof. Mauro Pezzè, University of Lugano. The lecture will be followed by a reception. Please feel free to forward this invitation.

Date: May 7, 2014
Time: 15:00
Venue: Weicker Building -Room B001 Ground floor, 4 rue Alphonse Weicker, L-2721 Luxembourg

Watch the distinguished lecture on youtube

Abstract: Modern software systems are intrinsically redundant. Some kinds of redundancy, like code clones, derive from bad design practice and shall be avoided. Other types of redundancy stem from good design practices and results in different code elements that produce the same or compatible results. In this talk I will discuss the different form of redundancy in software systems, illustrate the sources of redundancy, and present some data that witness the presence of redundancy in modern software systems focusing on the redundancy present at the level of method calls and combinations of method calls.
I will then illustrate some uses of redundancy to improve software reliability automatically. In particular I will present how to exploit software redundancy in the context of self healing software systems and testing oracles. I will introduce a software self-healing framework that exploits the intrinsic redundancy of software systems to generate workarounds automatically and at runtime to recover from unexpected failures, and I will show how to generate automatically test oracles that check the functional correctness of the test output.
I will conclude by presenting a search based approach to automatically identify intrinsic software redundancy in the form of equivalent method call sequences that are defined as sequences of method calls that produce indistinguishable results.

Mauro Pezzè is a professor of software engineering at the Faculty of Informatics of the University of Lugano (Switzerland) since 2006, and at the University of Milano Bicocca (Italy) since 2000 (part time since 2006).
Mauro Pezzè is serving as associate editor of IEEE Transactions on Software Engineering since 2013 and has served as associate editor of ACM Transactions on Software Engineering and Methodology from 2006 to 2012. He has been program co-chair of the International Conference on Software Engineering (ICSE 2012), general chair (2013) and program chair (2006) of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), program chair of the International Conference on Fundamental Approaches to Software Engineering (ETAPS-FASE 2003), program chair of the International Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2010), executive chair (2000-2002) and vice executive chair (1997-1999) of the IEEE Technical Committee on Complexity in Computing (IEEE-TCCX).
Mauro Pezzè's research interests are mainly in software engineering and in particular in the areas of software testing and analysis and self-healing and autonomic systems.
He is the co-author of a book on Software Testing and Analysis together with Michal Young.