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
1882004
An empirical evaluation of fault-proneness models
G Denaro, M Pezzè
Proceedings of the 24th International Conference on Software Engineering …, 2002
1672002
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
1232001
Deriving models of software fault-proneness
G Denaro, S Morasca, M Pezzè
Proceedings of the 14th international conference on Software engineering and …, 2002
612002
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
572006
Estimating software fault-proneness for tuning testing activities
G Denaro
Proceedings of the 22nd international conference on Software engineering …, 2000
522000
Petri nets and software engineering
G Denaro, M Pezze
Lecture Notes in Computer Science 3098, 439-466, 2004
432004
An experience on verification of aspect properties
G Denaro, M Monga
Proceedings of the 4th international workshop on Principles of software …, 2001
392001
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
372002
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
362010
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
362009
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
342003
Towards autonomic service-oriented applications
D Tosi, G Denaro, M Pezze
International Journal of Autonomic Computing 1 (1), 58-80, 2009
312009
Towards industrially relevant fault-proneness models
G Denaro, M Pezzè, S Morasca
International Journal of Software Engineering and Knowledge Engineering 13 …, 2003
312003
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
282017
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
282013
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
262011
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
252015
Dynamic Data Flow Testing of Object Oriented Systems
G Denaro, A Margara, M Pezze, M Vivanti
International Conference on Software Engineering (ICSE 2015), 2015
242015
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
242014
The system can't perform the operation now. Try again later.
Articles 1–20