Giovanni Denaro - Google Scholar Citations

Cited by

	All	Since 2015
Citations	1388	530
h-index	22	15
i10-index	34	20

120

20022003200420052006200720082009201020112012201320142015201620172018201920204 16 36 45 58 73 86 78 99 75 75 85 112 104 74 90 105 111 45

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 disco.unimib.it
Mattia VivantiPhD Student, University of LuganoVerified email at usi.ch
Leonardo MarianiUniversity of Milano BicoccaVerified email at unimib.it
Mauro BaludaSoftware Engineer at Avaloq EvolutionVerified email at avaloq.com
Andrea PoliniUniversity of CamerinoVerified email at unicam.it
Wolfgang EmmerichDept. of Computer Science, UCL, UKVerified email at acm.org
Andrea MattavelliMF Group AGVerified email at gmtech.ch
Andrea AquinoPh.D. Student, Università della Svizzera italianaVerified email at usi.ch
Sandro MorascaUniversità degli Studi dell'InsubriaVerified email at uninsubria.it
Luciano BaresiDEIB - Politecnico di MilanoVerified email at polimi.it
Carlo GhezziEmeritus Professor, Politecnico di MilanoVerified email at polimi.it
Alessandra GorlaAssistant Research Professor, IMDEA Software InstituteVerified email at imdea.org
Zhi Quan ZhouUniversity of WollongongVerified email at uow.edu.au
Mattia MongaAssociate professor, Università degli Studi di MilanoVerified email at unimi.it
Luigi LavazzaProfessor of Computer Science, Università degli Studi dell'InsubriaVerified email at uninsubria.it
paolo paoliniFull Professor Politecnico di MilanoVerified email at polimi.it
Luca MainettiUniversità del salentoVerified email at unisalento.it
Paolo PRINETTOProfessor of Computer Engineering, Politecnico di Torino, Torino (Italy)Verified email at polito.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	188	2004
An empirical evaluation of fault-proneness models G Denaro, M Pezzè Proceedings of the 24th International Conference on Software Engineering …, 2002	167	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	123	2001
Deriving models of software fault-proneness G Denaro, S Morasca, M Pezzè Proceedings of the 14th international conference on Software engineering and …, 2002	61	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	57	2006
Estimating software fault-proneness for tuning testing activities G Denaro Proceedings of the 22nd international conference on Software engineering …, 2000	52	2000
Petri nets and software engineering G Denaro, M Pezze Lecture Notes in Computer Science 3098, 439-466, 2004	43	2004
An experience on verification of aspect properties G Denaro, M Monga Proceedings of the 4th international workshop on Principles of software …, 2001	39	2001
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	37	2002
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
Ensuring interoperable service-oriented systems through engineered self-healing G Denaro, M Pezzè, D Tosi Proceedings of the 7th joint meeting of the European Software Engineering …, 2009	36	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
Towards autonomic service-oriented applications D Tosi, G Denaro, M Pezze International Journal of Autonomic Computing 1 (1), 58-80, 2009	31	2009
Towards industrially relevant fault-proneness models G Denaro, M Pezzè, S Morasca International Journal of Software Engineering and Knowledge Engineering 13 …, 2003	31	2003
Combining symbolic execution and search-based testing for programs with complex heap inputs. P Braione, G Denaro, A Mattavelli, M Pezzè ISSTA, 90-101, 2017	28	2017
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	28	2013
Enhancing structural software coverage by incrementally computing branch executability M Baluda, P Braione, G Denaro, M Pezzè Software Quality Journal 19 (4), 725-751, 2011	26	2011
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	25	2015
Dynamic Data Flow Testing of Object Oriented Systems G Denaro, A Margara, M Pezze, M Vivanti International Conference on Software Engineering (ICSE 2015), 2015	24	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	24	2014

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