Giovanni Denaro

Cited by

	All	Since 2019
Citations	1862	536
h-index	25	13
i10-index	39	19

120

200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320245 16 37 48 64 77 92 82 104 77 81 97 116 108 78 93 113 115 82 76 77 102 83

Public access

View all

14 articles

3 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
Prof. 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
Andrea MattavelliTeam Lead @ MF Group AGVerified email at mf-group.ch
Mauro BaludaGitHub Inc.Verified email at github.com
Andrea AquinoPh.D. Student, Università della Svizzera italianaVerified email at usi.ch
Andrea PoliniUniversity of CamerinoVerified email at unicam.it
Wolfgang EmmerichDept. of Computer Science, UCL, UKVerified email at acm.org
Sandro MorascaUniversità degli Studi dell'InsubriaVerified email at uninsubria.it
Luciano BaresiDEIB - Politecnico di MilanoVerified email at polimi.it
Luigi LavazzaProfessor of Computer Science, Università degli Studi dell'InsubriaVerified email at uninsubria.it
Alessandra GorlaAssociate Research Professor, IMDEA Software InstituteVerified email at imdea.org
Carlo GhezziEmeritus Professor, Politecnico di MilanoVerified email at polimi.it
Mattia MongaAssociate professor, Università degli Studi di MilanoVerified email at unimi.it
Zhi Quan (George) ZHOUSenior Expert (Safety and Cybersecurity) & ProfessorVerified email at connect.hku.hk
Alessandro MargaraAssociate Professor at Politecnico di MilanoVerified email at polimi.it
paolo paoliniFull Professor Politecnico di MilanoVerified email at polimi.it
Luca MainettiUniversità del salentoVerified email at unisalento.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	222	2004
An empirical evaluation of fault-proneness models G Denaro, M Pezze Proceedings of the 24th International Conference on Software Engineering …, 2002	196	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	139	2001
Deriving models of software fault-proneness G Denaro, S Morasca, M Pezze Proceedings of the 14th international conference on Software engineering and …, 2002	74	2002
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	72	2017
Estimating software fault-proneness for tuning testing activities G Denaro Proceedings of the 22nd international conference on Software engineering …, 2000	71	2000
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	67	2006
Petri nets and software engineering G Denaro, M Pezze Lecture Notes in Computer Science 3098, 439-466, 2004	52	2004
JBSE: A symbolic executor for java programs with complex heap inputs P Braione, G Denaro, M Pezzè Proceedings of the 2016 24th ACM SIGSOFT International Symposium on …, 2016	50	2016
Dynamic Data Flow Testing of Object Oriented Systems G Denaro, A Margara, M Pezze, M Vivanti International Conference on Software Engineering (ICSE 2015), 2015	46	2015
An experience on verification of aspect properties G Denaro, M Monga Proceedings of the 4th international workshop on Principles of software …, 2001	41	2001
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	40	2015
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	40	2010
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	40	2009
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	39	2015
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	39	2002
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	38	2003
Bidirectional symbolic analysis for effective branch testing M Baluda, G Denaro, M Pezzè IEEE Transactions on Software Engineering 42 (5), 403-426, 2015	37	2015
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	36	2013
Towards autonomic service-oriented applications D Tosi, G Denaro, M Pezzè International Journal of Autonomic Computing 1 (1), 58-80, 2009	36	2009

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

Follow

Cited by

Co-authors