Giovanni Denaro

Hana Chockler, Giovanni Denaro, Meijia Ling, Grigory Fedyukovich, Antti E. J. Hyvrinen, Leonardo Mariani, Ali Muhammad, Manuel Oriol, Ajitha Rajan, Ondrej Sery, Natasha Sharygina, Michael Tautschnig: PINCETTE - Validating Changes and Upgrades in Networked Software. CSMR 2013: 461-464

Mauro Baluda, Pietro Braione, Giovanni Denaro, Mauro Pezzè: Enhancing structural software coverage by incrementally computing branch executability. Software Quality Journal 19(4): 725-751 (2011)

Pietro Braione, Giovanni Denaro, Mauro Pezzè: On the Integration of Software Testing and Formal Analysis. LASER Summer School 2010: 158-193

Davide Tosi, Giovanni Denaro, Mauro Pezzè: Towards autonomic service-oriented applications. Int. J. Auton. Comp. 1(1): 58-80 (2009)

Antonio Carzaniga, Giovanni Denaro, Mauro Pezzè, Jacky Estublier, Alexander L. Wolf: Toward deeply adaptive societies of digital systems. ICSE Companion 2009: 331-334

Giovanni Denaro, Alessandra Gorla, Mauro Pezzè: DaTeC: Contextual data flow testing of java classes. ICSE Companion 2009: 421-422

Giovanni Denaro, Mauro Pezzè, Davide Tosi: Ensuring interoperable service-oriented systems through engineered self-healing. ESEC/SIGSOFT FSE 2009: 253-262

Giovanni Denaro, Alessandra Gorla, Mauro Pezzè: Contextual Integration Testing of Classes. FASE 2008: 246-260

Zhiquan Zhou, Bernhard Scholz, Giovanni Denaro: Automated Software Testing and Analysis: Techniques, Practices and Tools. HICSS 2007: 260

Giovanni Denaro, Mauro Pezzè, Davide Tosi: Designing Self-Adaptive Service-Oriented Applications. ICAC 2007: 16

Giovanni Denaro, Mauro Pezzè, Davide Tosi: SHIWS: A Self-Healing Integrator for Web Services. ICSE Companion 2007: 55-56

Giovanni Denaro, Mauro Pezzè, Onn Shehory: SOQUA 2007: 4th international workshop on software quality assurance. ESEC/SIGSOFT FSE 2007: 615-616

Giovanni Denaro, Mauro Pezzè, Onn Shehory: SOQUA 2007 4th international workshop on software quality assurance. ESEC/SIGSOFT FSE (Companion) 2007: 615-616

Giovanni Denaro, Mauro Pezzè, Davide Tosi, Daniela Schilling: Towards self-adaptive service-oriented architectures. TAV-WEB 2006: 10-16

Mauro Pezzè, Andrea Baldini, Giovanni Denaro, Giuseppe Lipari, Matteo Rossi, Davide Rogai: QUACK: A Platform for the Quality of New Generation Integrated Embedded Systems. Electr. Notes Theor. Comput. Sci. 116: 113-131 (2005)

Giovanni Denaro, Leonardo Mariani: Towards Testing and Analysis of Systems that Use Serialization. Electr. Notes Theor. Comput. Sci. 116: 171-184 (2005)

Giovanni Denaro, Mauro Pezzè, Davide Tosi: Adaptive integration of third-party web services. ACM SIGSOFT Software Engineering Notes 30(4): 1-6 (2005)

Giovanni Denaro, Leonardo Mariani, Mauro Pezzè, Davide Tosi: Adaptive Runtime Verification for Autonomic Communication Infrastructures. WOWMOM 2005: 553-557

Giovanni Denaro, Andrea Polini, Wolfgang Emmerich: Early performance testing of distributed software applications. WOSP 2004: 94-103

Giovanni Denaro, Leonardo Mariani, Mauro Pezzè: Self-Test Components for Highly Reconfigurable Systems. Electr. Notes Theor. Comput. Sci. 82(6): 89-98 (2003)

Andrea Baldini, Paolo Prinetto, Giovanni Denaro, Mauro Pezzè: Design for Testability for Highly Reconfigurable Component-Based Systems. Electr. Notes Theor. Comput. Sci. 82(6): 199-208 (2003)

Giovanni Denaro, Mauro Pezzè, Sandro Morasca: Towards Industrially Relevant Fault-Proneness Models. International Journal of Software Engineering and Knowledge Engineering 13(4): 395-417 (2003)

Giovanni Denaro, Mauro Pezzè: Petri Nets and Software Engineering. Lectures on Concurrency and Petri Nets 2003: 439-466

Giovanni Denaro, Mauro Pezzè: An empirical evaluation of fault-proneness models. ICSE 2002: 241-251

Giovanni Denaro, Sandro Morasca, Mauro Pezzè: Deriving models of software fault-proneness. SEKE 2002: 361-368

Luciano Baresi, Giovanni Denaro, Luca Mainetti, Paolo Paolini: Assertions to better specify the amazon bug. SEKE 2002: 585-592

Alberto Coen-Porisini, Giovanni Denaro, Carlo Ghezzi, Mauro Pezzè: Using symbolic execution for verifying safety-critical systems. ESEC / SIGSOFT FSE 2001: 142-151

Giovanni Denaro: Estimating software fault-proneness for tuning testing activities. ICSE 2000: 704-706