Giovanni Denaro
TitleCited byYear
Early performance testing of distributed software applications
G Denaro, A Polini, W Emmerich
ACM SIGSOFT Software Engineering Notes 29 (1), 94-103, 2004
1742004
An empirical evaluation of fault-proneness models
G Denaro, M Pezzè
Proceedings of the 24th International Conference on Software Engineering …, 2002
1612002
Using symbolic execution for verifying safety-critical systems
A Coen-Porisini, G Denaro, C Ghezzi, M Pezzé
ACM SIGSOFT Software Engineering Notes 26 (5), 142-151, 2001
1202001
Deriving models of software fault-proneness
G Denaro, S Morasca, M Pezzè
Proceedings of the 14th international conference on Software engineering and …, 2002
562002
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
552006
Estimating software fault-proneness for tuning testing activities
G Denaro
Proceedings of the 2000 International Conference on Software Engineering …, 2000
462000
Petri nets and software engineering
G Denaro, M Pezze
Lecture Notes in Computer Science 3098, 439-466, 2004
392004
An experience on verification of aspect properties
G Denaro, M Monga
International Conference on Software Engineering: Proceedings of the 4 th …, 2001
392001
Ensuring interoperable service-oriented systems through engineered self-healing
G Denaro, M Pezzè, D Tosi
Proceedings of the the 7th joint meeting of the European software …, 2009
362009
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
362002
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
342010
Towards autonomic service-oriented applications.
D Tosi, G Denaro, M Pezze
Int. J. Auton. Comp. 1 (1), 58-80, 2009
292009
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
292003
Towards industrially relevant fault-proneness models
G Denaro, M Pezzè, S Morasca
International Journal of Software Engineering and Knowledge Engineering 13 …, 2003
282003
Dynamic Data Flow Testing of Object Oriented Systems
G Denaro, A Margara, M Pezze, M Vivanti
International Conference on Software Engineering (ICSE 2015), 2015
252015
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
232013
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
232011
Designing self-adaptive service-oriented applications
G Denaro, M Pezze, D Tosi
Fourth International Conference on Autonomic Computing (ICAC'07), 16-16, 2007
222007
Self-test components for highly reconfigurable systems
G Denaro, L Mariani, M Pezze
Electronic Notes in Theoretical Computer Science 82 (6), 89-98, 2003
212003
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
192015
The system can't perform the operation now. Try again later.
Articles 1–20