Giovanni Denaro's publications


Sort by: [Research category] [year]

Research categories: [Testing] [Dynamic Analysis] [Self-Adaptive SOA] [Self-Healing Systems] [Automated Software Testing] [SOA] [Program Analysis]

Automated Software Testing

Pietro Braione and Giovanni Denaro Andrea Mattavelli and Mattia Vivanti and Ali Muhammad. Software testing with code-based test generators: and lessons learned from a case study with an industrial software component. Software Quality Journal, 2014, pp. 311--333,

[ BIBTEX ]

Program Analysis

Pietro Braione and Giovanni Denaro and Mauro Pezzè. Enhancing Symbolic Execution with Built-In Term Rewriting and Constrained Lazy Initialization. Proceedings of the $9^th$ Joint Meeting of the European Software Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2013), 2013, pp. 411--421,

[ BIBTEX ]

Pietro Braione and Giovanni Denaro and Mauro Pezzè. On the Integration of Software Testing and Formal Analysis. Springer Berlin / Heidelberg, Empirical Software Engineering and Verification, 2012, pp. 158-193,

[ BIBTEX ]

Automated Software Testing

Pietro Braione and Giovanni Denaro and Andrea Mattavelli and Mattia Vivanti and Ali Muhammad. An Industrial Case Study of the Effectiveness of Test Generators. Proceedings of the 7th Workshop on Automation of Software Test (AST 2012), 2012, pp. 50-56,

[ BIBTEX ]

SOA

Giovanni Denaro and Davide Tosi. An Eclipse Plug-in for Engineering Service Interchangeability. Proc. of the Sixth Workshop of the Italian Eclipse Community Eclipse-IT 2011, 2011

[ BIBTEX ]

Automated Software Testing

Mauro Baluda and Pietro Braione and Giovanni Denaro and Mauro Pezzè. Enhancing Structural Software Coverage by Incrementally Computing Branch Executability. Software Quality Journal, 2011, pp. 725--751,

[ BIBTEX ]

Mauro Baluda and Pietro Braione and Giovanni Denaro and Mauro Pezzè. Structural Coverage of Feasible Code. Proceedings of 5th Workshop on Automation of Software Testing (AST 2010), 2010, pp. 59--66,

[ BIBTEX ]

Self-Healing Systems

D. Tosi and G. Denaro and M. Pezzè. Towards Autonomic Service-Oriented Applications. International Journal of Autonomic Computing (IJAC), 2009, pp. 58--80,

[ BIBTEX ]

Denaro G. and Pezzè M and Tosi D. Ensuring Interoperable Service-oriented Systems through Engineered Self-Healing. ACM Press, Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2009), 2009

[ BIBTEX ]

Denaro G. and Gorla A and Pezzè M. DaTeC: Contextual Data Flow Testing of Java Classes. Companion of the Proceedings of 31st International Conference on Software Engineering (ICSE 2009) Research Demo Track Vancouver Canada May 2009, 2009

[ BIBTEX ]

Carzaniga A and Denaro G. and Estublier J and Pezzè M and Wolf A. Toward Deeply Adaptive Societies of Digital Systems. Companion of the Proceedings of 31st International Conference on Software Engineering (ICSE 2009) Track on New Ideas and Emerging Results Vancouver Canada May 2009, 2009

[ BIBTEX ]

Self-Healing Systems

D. Tosi and G. Denaro and M. Pezzè. Experimental data on service interchangeability. 2008

[ PDF ] [ BIBTEX ]

Denaro G. and A. Gorla and M. Pezzè. Contextual Integration Testing of Classes. Springer, Proceedings of the International Symposium on the Fundamental Approaches to Software Engineering, 2008, pp. 246--260,

[ BIBTEX ]

Braione P and Denaro G. and Krena B and Pezzè M. Verifying LTL Properties of Bytecode with Symbolic Execution. Proceedings of the 2nd Workshop on Bytecode Semantics Verification Analysis and Transformation (Bytecode 2008) Budapest Hungary April 2008, 2008

[ BIBTEX ]

Self-Adaptive SOA

Giovanni Denaro and Mauro Pezzè and Davide Tosi. Designing Self-Adaptive Service-Oriented Applications. IEEE Computer Society, proceedings of the IEEE International Conference on Autonomic Computing (ICAC Short Paper), 2007

[ BIBTEX ]

Giovanni Denaro and Mauro Pezzè and Davide Tosi. SHIWS: A Self-Healing Integrator for Web Services. IEEE Computer Society, proceedings of the IEEE International Conference on Software Engineering (ICSE Demo Track), 2007

[ BIBTEX ]

Denaro G. and Pezzè M and Shehory O. Proceedings of the Fourth International Workshop on Software Quality Assurance (SOQUA 2007). In conjunction with the 6th ESEC/FSE joint meeting Dubrovnik Croatia September 2007. ACM Press, 2007

[ BIBTEX ]

Denaro G. and Pezzè M and Shehory O. SOQUA 2007 4th international workshop on software quality assurance. ACM Press, The 6th Joint Meeting on European software engineering conference and the ACM SIGSOFT symposium on the foundations of software engineering: companion papers, 2007, pp. 615--616,

[ BIBTEX ]

Denaro G. and Zhi Quan Zhou and Scholz B. Automated Software Testing and Analysis: Techniques Practices and Tools. IEEE Computer Society, Proceedings of the 40th Annual Hawaii International Conference on System Sciences, 2007, pp. 260,

[ BIBTEX ]

Self-Adaptive SOA

Giovanni Denaro and Mauro Pezzè and Davide Tosi. Designing Self-Adaptive Service Oriented Applications. Aracne Editrice, 2006

[ BIBTEX ]

Giovanni Denaro and Mauro Pezzè and Daniela Schilling and Davide Tosi. Towards Self-Adaptive Service-Oriented Architectures. IEEE Computer Society, proceedings of the IEEE Workshop on Testing Analysis and Verification of Web Services and Applications (TAV-WEB) held in conjunction with the IEEE International Symposium on Software Test and Analysis (ISSTA), 2006

[ BIBTEX ]

Denaro G. and L. Lavazza and M. Pezzè. Metriche del software: Esperienze e ricerche. Franco Angeli, 2006, chapter Le Metriche Object-Oriented nelle Realtà Aziendali

[ BIBTEX ]

Self-Adaptive SOA

Giovanni Denaro and Mauro Pezzè and Davide Tosi. Adaptive Integration of Third-Party Web Services. IEEE Computer Society, proceedings of the IEEE Workshop on Design and Evolution of Autonomic Application Software (DEAS) held in conjunction with the IEEE International Conference on Software Engineering (ICSE), 2005

[ BIBTEX ]

Denaro G. and A. Polini and W. Emmerich. Performance Testing of Distributed Component Architectures. In Building Quality into COTS Components: Testing and Debugging. Springer-Verlag, 2005, chapter Performance Testing of Distributed Component Architectures

[ BIBTEX ]

Baldini A and Denaro G. and Lipari G and Pezzè M and Rossi M and Rogai D. QUACK: A Platform for the Quality of New Generation Integrated Embedded Systems. Elsevier, Proceedings of the 2nd International Workshop on Test and Analysis of Component-Based Systems (TACoS 2004) Electronic Notes on Theoretical Computer Science Vol. 116 January 2005, 2005

[ BIBTEX ]

Denaro G. and M. Pezzè. Advances on Petri Nets. Springer-Verlag, 2004, chapter Petri Nets and Software Engineering

[ BIBTEX ]

Denaro G. and A. Polini and W. Emmerich. Early Performance Testing of Distributed Software Applications. Proceedings of the 4th International Workshop on Software and Performance (WOSP 2004), 2004

[ BIBTEX ]

Denaro G. and S. Morasca and M. Pezzè. Towards Industrially Relevant Fault-Proneness Models. INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2003

[ BIBTEX ]

Denaro G. and L. Lavazza and M. Pezzè. An Empirical Evaluation of Object-Oriented Metrics. 5th CaberNet Plenary Workshop, 2003

[ BIBTEX ]

A. Baldini and Denaro G. and M. Pezzè and P. Prinetto. Design for Testability for Highly Reconfigurable Component-Based Systems. Proceedings of the International Workshop on Test and Analysis of Component-Based Systems (TACoS 2003), 2003

[ BIBTEX ]

Denaro G. and S. Morasca and M. Pezzè. Deriving Models of Software Fault-Proneness. Proceedings of the 14th International Conference on Software Engineering and Knowledge Engineering (SEKE 2002), 2002

[ BIBTEX ]

L. Baresi and Denaro G. and L. Mainetti and P. Paolini. Assertions to Better Specify the Amazon Bug. Proceedings of the 14th International Conference on Software Engineering and Knowledge Engineering (SEKE 2002), 2002

[ BIBTEX ]

Denaro G. and M. Pezzè. An Empirical Evaluation of Fault-Proneness Models. Proceedings of the 24th International Conference on Software Engineering (ICSE 2002), 2002

[ BIBTEX ]

A. Coen-Porisini and Denaro G. and C. Ghezzi and M. Pezzè. Using Symbolic Execution for Verifying Safety-Critical Systems. Proceedings of the Joint 8th European Software Engineering Conference and 9th ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2001), 2001

[ BIBTEX ]

Denaro G. and M. Monga. An Experience on Verification of Aspect Properties. Proceedings of the International Workshop on Principles of Software Evolution (IWPSE01), 2001

[ BIBTEX ]

Denaro G.. Estimating Software Fault-Proneness for Tuning Testing Activities. Proceedings of the 22nd International Conference on Software Engineering (ICSE2000) Doctoral Workshop, 2000

[ BIBTEX ]

Dynamic Analysis

H. Chockler and G. Denaro and M. Ling and G. Fedyukovich and A. E. J. Hyvrinen and L. Mariani and A. Muhammad and M. Oriol and A. Rajan and O. Sery and N. Sharygina and M. Tautsching. PINCETTE - Validating Changes and Upgrades in Networked Software. Proceedings of the 17th European Conference on Software Maintenance and Reengineering - EU Projects Track, 2013

[ PDF ] [ BIBTEX ]

Giovanni Denaro and Leonardo Mariani and Mauro Pezzè and Davide Tosi. Adaptive Runtime Verification for Autonomic Communication Infrastructures. IEEE Computer, proceedings of the 1st IEEE Workshop on Autonomic Communications and Computing held in conjunction with the IEEE International Symposium on a World of Wireless Mobile and Multimedia Networks (WoWMoM), 2005

[ PDF ] [ BIBTEX ]

Testing

Giovanni Denaro and Leonardo Mariani. Towards Testing and Analysis of Systems that Use Serialization. Elsevier, International Workshop on Test and Analysis of Component Based Systems (TACoS) satellite workshop at the European Joint Conferences on Theory and Practice of Software (ETAPS), 2004, pp. 171-184,

[ PDF ] [ BIBTEX ]

Giovanni Denaro and Leonardo Mariani and Mauro Pezzè. Selft-Test Components for Highly Reconfigurable Systems. Elsevier, International Workshop on Test and Analysis of Component Based Systems (TACOS) satellite workshop at the European Joint Conferences on Theory and Practice of Software (ETAPS), 2003

[ PDF ] [ BIBTEX ]