Seguir
Giovanni Denaro
Giovanni Denaro
University of Milano-Bicocca
Dirección de correo verificada de disco.unimib.it
Título
Citado por
Citado por
Año
Early performance testing of distributed software applications
G Denaro, A Polini, W Emmerich
Proceedings of the 4th International Workshop on Software and Performance …, 2004
2232004
An empirical evaluation of fault-proneness models
G Denaro, M Pezze
Proceedings of the 24th International Conference on Software Engineering …, 2002
1972002
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
1392001
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
742017
Deriving models of software fault-proneness
G Denaro, S Morasca, M Pezze
Proceedings of the 14th international conference on Software engineering and …, 2002
742002
Estimating software fault-proneness for tuning testing activities
G Denaro
Proceedings of the 22nd international conference on Software engineering …, 2000
722000
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
682006
Petri nets and software engineering
G Denaro, M Pezze
Lecture Notes in Computer Science 3098, 439-466, 2004
522004
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
512016
Dynamic Data Flow Testing of Object Oriented Systems
G Denaro, A Margara, M Pezze, M Vivanti
International Conference on Software Engineering (ICSE 2015), 2015
452015
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
412010
An experience on verification of aspect properties
G Denaro, M Monga
Proceedings of the 4th international workshop on Principles of software …, 2001
412001
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
402015
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
402009
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
392015
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
Bidirectional symbolic analysis for effective branch testing
M Baluda, G Denaro, M Pezzè
IEEE Transactions on Software Engineering 42 (5), 403-426, 2015
372015
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
362013
Towards autonomic service-oriented applications
D Tosi, G Denaro, M Pezzè
International Journal of Autonomic Computing 1 (1), 58-80, 2009
352009
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20