Follow
Giovanni Denaro
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
2222004
An empirical evaluation of fault-proneness models
G Denaro, M Pezze
Proceedings of the 24th International Conference on Software Engineering …, 2002
1952002
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
1362001
Deriving models of software fault-proneness
G Denaro, S Morasca, M Pezze
Proceedings of the 14th international conference on Software engineering and …, 2002
752002
Estimating software fault-proneness for tuning testing activities
G Denaro
Proceedings of the 22nd international conference on Software engineering …, 2000
682000
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
672006
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
652017
Petri nets and software engineering
G Denaro, M Pezze
Lecture Notes in Computer Science 3098, 439-466, 2004
512004
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
422016
An experience on verification of aspect properties
G Denaro, M Monga
Proceedings of the 4th international workshop on Principles of software …, 2001
422001
Dynamic Data Flow Testing of Object Oriented Systems
G Denaro, A Margara, M Pezze, M Vivanti
International Conference on Software Engineering (ICSE 2015), 2015
412015
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
392015
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
392010
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
392009
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
392002
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
382003
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
372015
Towards autonomic service-oriented applications
D Tosi, G Denaro, M Pezzè
International Journal of Autonomic Computing 1 (1), 58-80, 2009
362009
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
342013
Towards industrially relevant fault-proneness models
G Denaro, M Pezzè, S Morasca
International Journal of Software Engineering and Knowledge Engineering 13 …, 2003
342003
The system can't perform the operation now. Try again later.
Articles 1–20