Giovanni Denaro

Cited by

	All	Since 2017
Citations	1630	523
h-index	23	14
i10-index	37	19

120

2002200320042005200620072008200920102011201220132014201520162017201820192020202120225 16 39 46 63 80 88 77 100 81 76 91 119 113 76 94 106 118 86 74 44

Public access

View all

12 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
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 MattavelliMF 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
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 GorlaAssociate Research Professor, IMDEA Software InstituteVerified email at imdea.org
Mattia MongaAssociate professor, Università degli Studi di MilanoVerified email at unimi.it
Zhi Quan ZHOUSenior Expert in Autonomous Driving SafetyVerified email at connect.hku.hk
paolo paoliniFull Professor Politecnico di MilanoVerified email at polimi.it
Luca MainettiUniversità del salentoVerified email at unisalento.it
Alessandro MargaraAssociate Professor at Politecnico di MilanoVerified email at polimi.it
Luigi LavazzaProfessor of Computer Science, Università degli Studi dell'InsubriaVerified email at uninsubria.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	213	2004
An empirical evaluation of fault-proneness models G Denaro, M Pezze Proceedings of the 24th International Conference on Software Engineering …, 2002	188	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	128	2001
Deriving models of software fault-proneness G Denaro, S Morasca, M Pezze Proceedings of the 14th international conference on Software engineering and …, 2002	70	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	65	2006
Estimating software fault-proneness for tuning testing activities G Denaro Proceedings of the 22nd international conference on Software engineering …, 2000	62	2000
Petri nets and software engineering G Denaro, M Pezze Lecture Notes in Computer Science 3098, 439-466, 2004	50	2004
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	46	2017
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	41	2009
An experience on verification of aspect properties G Denaro, M Monga Proceedings of the 4th international workshop on Principles of software …, 2001	41	2001
Dynamic Data Flow Testing of Object Oriented Systems G Denaro, A Margara, M Pezze, M Vivanti International Conference on Software Engineering (ICSE 2015), 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	37	2003
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	35	2010
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	34	2015
Towards autonomic service-oriented applications. D Tosi, G Denaro, M Pezzè Int. J. Auton. Comput. 1 (1), 58-80, 2009	34	2009
Towards industrially relevant fault-proneness models G Denaro, M Pezzè, S Morasca International Journal of Software Engineering and Knowledge Engineering 13 …, 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	33	2013
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	31	2016
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	31	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

Follow

Cited by

Co-authors