Giovanni Denaro

Cited by

	All	Since 2016
Citations	1514	487
h-index	23	13
i10-index	37	17

120

200220032004200520062007200820092010201120122013201420152016201720182019202020215 16 37 46 61 79 88 78 102 82 79 91 119 108 75 93 110 113 78 18

Public access

View all

10 articles

2 articles

available

not available

Based on funding mandates

Co-authors

Mauro PezzèProfessor of Software Engineering, USI (Switzerland) and Milano Bicocca (Italy)Verified email at usi.ch
Pietro BraioneUniversità degli Studi di Milano-BicoccaVerified email at unimib.it
Davide TosiUniversità degli Studi dell'InsubriaVerified email at uninsubria.it
Leonardo MarianiUniversity of Milano - BicoccaVerified email at unimib.it
Mattia VivantiPhD Student, University of LuganoVerified email at usi.ch
Mauro BaludaAvaloq Evolution AGVerified email at avaloq.com
Andrea MattavelliMF Group AGVerified email at gmtech.ch
Andrea PoliniUniversity of CamerinoVerified email at unicam.it
Wolfgang EmmerichDept. of Computer Science, UCL, UKVerified email at acm.org
Andrea AquinoPh.D. Student, Università della Svizzera italianaVerified email at usi.ch
Carlo GhezziEmeritus Professor, Politecnico di MilanoVerified email at polimi.it
Sandro MorascaUniversità degli Studi dell'InsubriaVerified email at uninsubria.it
Luciano BaresiDEIB - Politecnico di MilanoVerified email at polimi.it
Alessandra GorlaAssistant Research Professor, IMDEA Software InstituteVerified email at imdea.org
Zhi Quan ZhouSenior Staff Engineer in Test Dev. (level P9+), Alibaba & Ant Group; Assoc. Prof, Australia(former)Verified email at connect.hku.hk
Mattia MongaAssociate professor, Università degli Studi di MilanoVerified email at unimi.it
paolo paoliniFull Professor Politecnico di MilanoVerified email at polimi.it
Luca MainettiUniversità del salentoVerified email at unisalento.it
Luigi LavazzaProfessor of Computer Science, Università degli Studi dell'InsubriaVerified email at uninsubria.it
Alessandro MargaraAssistant Professor at Politecnico di MilanoVerified email at polimi.it

Giovanni Denaro

University of Milano-Bicocca

Verified email at disco.unimib.it

Software Testing - Software Analysis - Software Engineering


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Early performance testing of distributed software applications G Denaro, A Polini, W Emmerich Proceedings of the 4th International Workshop on Software and Performance …, 2004	202	2004
An empirical evaluation of fault-proneness models G Denaro, M Pezze Proceedings of the 24th International Conference on Software Engineering …, 2002	181	2002
Using symbolic execution for verifying safety-critical systems A Coen-Porisini, G Denaro, C Ghezzi, M Pezzé Proceedings of the 8th European software engineering conference held jointly …, 2001	126	2001
Deriving models of software fault-proneness G Denaro, S Morasca, M Pezze Proceedings of the 14th international conference on Software engineering and …, 2002	66	2002
Towards self-adaptive service-oriented architectures G Denaro, M Pezzé, D Tosi, D Schilling Proceedings of the 2006 workshop on Testing, analysis, and verification of …, 2006	61	2006
Estimating software fault-proneness for tuning testing activities G Denaro Proceedings of the 22nd international conference on Software engineering …, 2000	56	2000
Petri nets and software engineering G Denaro, M Pezze Lecture Notes in Computer Science 3098, 439-466, 2004	44	2004
An experience on verification of aspect properties G Denaro, M Monga Proceedings of the 4th international workshop on Principles of software …, 2001	41	2001
Ensuring interoperable service-oriented systems through engineered self-healing G Denaro, M Pezze, D Tosi Proceedings of the 7th joint meeting of the European Software Engineering …, 2009	39	2009
Combining symbolic execution and search-based testing for programs with complex heap inputs P Braione, G Denaro, A Mattavelli, M Pezzè Proceedings of the 26th ACM SIGSOFT International Symposium on Software …, 2017	38	2017
Structural coverage of feasible code M Baluda, P Braione, G Denaro, M Pezzè Proceedings of the 5th Workshop on Automation of Software Test, 59-66, 2010	36	2010
Assertions to better specify the amazon bug L Baresi, G Denaro, L Mainetti, P Paolini Proceedings of the 14th international conference on Software engineering and …, 2002	36	2002
Towards autonomic service-oriented applications D Tosi, G Denaro, M Pezze International Journal of Autonomic Computing 1 (1), 58-80, 2009	34	2009
An empirical evaluation of object oriented metrics in industrial setting G Denaro, L Lavazza, M Pezze The 5th CaberNet Plenary Workshop, Porto Santo, Madeira Archipelago, Portugal, 2003	34	2003
Enhancing symbolic execution with built-in term rewriting and constrained lazy initialization P Braione, G Denaro, M Pezzè Proceedings of the 2013 9th Joint Meeting on Foundations of Software …, 2013	32	2013
Dynamic Data Flow Testing of Object Oriented Systems G Denaro, A Margara, M Pezze, M Vivanti International Conference on Software Engineering (ICSE 2015), 2015	31	2015
Towards industrially relevant fault-proneness models G Denaro, M Pezzè, S Morasca International Journal of Software Engineering and Knowledge Engineering 13 …, 2003	31	2003
Reusing constraint proofs in program analysis A Aquino, FA Bianchi, M Chen, G Denaro, M Pezzè Proceedings of the 2015 International Symposium on Software Testing and …, 2015	30	2015
Software testing with code-based test generators: data and lessons learned from a case study with an industrial software component P Braione, G Denaro, A Mattavelli, M Vivanti, A Muhammad Software quality journal 22 (2), 311-333, 2014	28	2014
Symbolic execution of programs with heap inputs P Braione, G Denaro, M Pezzè Proceedings of the 2015 10th Joint Meeting on Foundations of Software …, 2015	27	2015

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors