Mauro PezzeCarzaniga, A, Gorla A, Pezzè M (2008) Handling software faults with redundancy. In: de Lemos R, Fabre JC, Gacek C, Gadducci F, ter Beek MH (eds)WADS, Lecture Notes in Computer Science, vol. 583, 148–171.. Springer, Berlin....
The main program is precGiovanni DenaroMauro PezzeOnn ShehoryJoint Meeting on European software engineering conferenceACM SIGSOFT symposium on the foundations of software engineering
From Graph Transformation to Software Engineering and Back, volume 3393 - Baresi, Pezzè - 2005 () Citation Context ...n value analysis [4], and design modularity testing [9]. Our current implementation of our UML transformation tool takes an approach similar to the graph transformations ...
The maturity of software engineering.Focuses on software engineering as a profession. Relationship between software engineering and other disciplines; Impact of software engineering on the computer industry; Repeatability of software production.PezzeMauroIEEE Software...
G. Toffetti and M. Pezz¿¿ "Graph transformations and software engineering: Success stories and lost chances", J. Vis. Languages Comput. , vol. 24, no. 3, pp.207 -217 2013Giovanni Toffettia,Mauro Pezzea, b, "Graph transformations and software engineering: Success...
Pezze`, W. Scha¨fer, L. Tahvildari, and K. Wong, "Towards practical runtime verification and validation of self- adaptive software systems," in Software Engineering for Self-Adaptive Systems II - International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and ...
Mauro Baluda, Pietro Braione, Giovanni Denaro, and Mauro Pezze. 2011. En- hancing structural software coverage by incrementally computing branch exe- cutability. Software Quality Journal 19, 4 (2011), 725-751.M. Baluda, P. Braione, G. Denaro, and M. Pezze, "Enhancing structural ...