关注
Giovanni Denaro
Giovanni Denaro
在 disco.unimib.it 的电子邮件经过验证
标题
引用次数
引用次数
年份
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
702000
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
692017
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
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
432016
Dynamic Data Flow Testing of Object Oriented Systems
G Denaro, A Margara, M Pezze, M Vivanti
International Conference on Software Engineering (ICSE 2015), 2015
432015
An experience on verification of aspect properties
G Denaro, M Monga
Proceedings of the 4th international workshop on Principles of software …, 2001
422001
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
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
382015
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
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
352013
Bidirectional symbolic analysis for effective branch testing
M Baluda, G Denaro, M Pezzè
IEEE Transactions on Software Engineering 42 (5), 403-426, 2015
342015
系统目前无法执行此操作,请稍后再试。
文章 1–20