Search the dblp DataBase

Publications of Author

1. Giovanni Denaro, Mauro Pezzè
   Petri Nets and Software Engineering. [Citation Graph (0, 0)][DBLP]
   Lectures on Concurrency and Petri Nets, 2003, pp:439-466 [Conf]
   
2. Zhi Quan Zhou, Bernhard Scholz, Giovanni Denaro
   Automated Software Testing and Analysis: Techniques, Practices and Tools. [Citation Graph (0, 0)][DBLP]
   HICSS, 2007, pp:260- [Conf]
   
3. Giovanni Denaro
   Estimating software fault-proneness for tuning testing activities. [Citation Graph (0, 0)][DBLP]
   ICSE, 2000, pp:704-706 [Conf]
   
4. Giovanni Denaro, Mauro Pezzè
   An empirical evaluation of fault-proneness models. [Citation Graph (0, 0)][DBLP]
   ICSE, 2002, pp:241-251 [Conf]
   
5. Luciano Baresi, Giovanni Denaro, Luca Mainetti, Paolo Paolini
   Assertions to better specify the amazon bug. [Citation Graph (0, 0)][DBLP]
   SEKE, 2002, pp:585-592 [Conf]
   
6. Giovanni Denaro, Sandro Morasca, Mauro Pezzè
   Deriving models of software fault-proneness. [Citation Graph (0, 0)][DBLP]
   SEKE, 2002, pp:361-368 [Conf]
   
7. Alberto Coen-Porisini, Giovanni Denaro, Carlo Ghezzi, Mauro Pezzè
   Using symbolic execution for verifying safety-critical systems. [Citation Graph (0, 0)][DBLP]
   ESEC / SIGSOFT FSE, 2001, pp:142-151 [Conf]
   
8. Giovanni Denaro, Andrea Polini, Wolfgang Emmerich
   Early performance testing of distributed software applications. [Citation Graph (0, 0)][DBLP]
   WOSP, 2004, pp:94-103 [Conf]
   
9. Giovanni Denaro, Leonardo Mariani, Mauro Pezzè, Davide Tosi
   Adaptive Runtime Verification for Autonomic Communication Infrastructures. [Citation Graph (0, 0)][DBLP]
   WOWMOM, 2005, pp:553-557 [Conf]
   
10. Andrea Baldini, Paolo Prinetto, Giovanni Denaro, Mauro Pezzè
    Design for Testability for Highly Reconfigurable Component-Based Systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:82, n:6, pp:- [Journal]
    
11. Giovanni Denaro, Leonardo Mariani
    Towards Testing and Analysis of Systems that Use Serialization. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:116, n:, pp:171-184 [Journal]
    
12. Giovanni Denaro, Leonardo Mariani, Mauro Pezzè
    Self-Test Components for Highly Reconfigurable Systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:82, n:6, pp:- [Journal]
    
13. Mauro Pezzè, Andrea Baldini, Giovanni Denaro, Giuseppe Lipari, Matteo Rossi, Davide Rogai
    QUACK: A Platform for the Quality of New Generation Integrated Embedded Systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:116, n:, pp:113-131 [Journal]
    
14. Giovanni Denaro, Mauro Pezzè, Sandro Morasca
    Towards Industrially Relevant Fault-Proneness Models. [Citation Graph (0, 0)][DBLP]
    International Journal of Software Engineering and Knowledge Engineering, 2003, v:13, n:4, pp:395-417 [Journal]
    
15. Giovanni Denaro, Mauro Pezzè, Davide Tosi
    Designing Self-Adaptive Service-Oriented Applications. [Citation Graph (0, 0)][DBLP]
    ICAC, 2007, pp:16- [Conf]
    
16. Giovanni Denaro, Mauro Pezzè, Davide Tosi
    SHIWS: A Self-Healing Integrator for Web Services. [Citation Graph (0, 0)][DBLP]
    ICSE Companion, 2007, pp:55-56 [Conf]
    
17. Giovanni Denaro, Mauro Pezzè, Onn Shehory
    SOQUA 2007: 4th international workshop on software quality assurance. [Citation Graph (0, 0)][DBLP]
    ESEC/SIGSOFT FSE, 2007, pp:615-616 [Conf]
    
18. 
    Contextual Integration Testing of Classes. [Citation Graph (, )][DBLP]
    
    
19. 
    Toward deeply adaptive societies of digital systems. [Citation Graph (, )][DBLP]
    
    
20. 
    DaTeC: Contextual data flow testing of java classes. [Citation Graph (, )][DBLP]
    
    
21. 
    Towards self-adaptive service-oriented architectures. [Citation Graph (, )][DBLP]
    
    
22. 
    SOQUA 2007 4th international workshop on software quality assurance. [Citation Graph (, )][DBLP]
    
    
23. 
    Ensuring interoperable service-oriented systems through engineered self-healing. [Citation Graph (, )][DBLP]