Journal articles

   2011
1Bartolini C., Bertolino A., Elbaum S., Marchetti E. Bringing white-box testing to service oriented architectures through a service oriented approach. In: Journal of Systems and Software, vol. 84 (4) pp. 655 - 668. Byounjiu Choi, Richard Lai (eds.). Elsevier, 2011.        

   2010
2Fusani M., Marchetti E. Damages and benefits of certification: a perspective from an indipendent assessment body. In: Electronic Communications of the EASST, vol. 33 article n. 2. Special issue: OpenCert 2010 - Fourth International Workshop on Foundations and Techniques for Open Source Software Certification (Pisa, 17-18 September 2010). Louis Barbosa, Antonio Cerone, Siraj A. Shaikh (eds.). EASST, 2010.     

   2007
3Bertolino A., Marchetti E., Mirandola R. Performance measures for supporting project manager decisions. In: Software Process Improvement and Practice, vol. 12 (2) pp. 141 - 164. Wiley Interscience, 2007.     

   2005
4Bertolino A., Marchetti E., Muccini H. Introducing a reasonably complete and coherent approach for model-based testing. In: Electronic Notes in Theoretical Computer Science, vol. 116 pp. 85 - 97. Elsevier, 2005.  
5Marchetti E. Automatic XML-schema generation UML application profile. In: Elektrotechnik und informationstechnik, vol. 12 pp. 485 - 487. Springer, 2005.     

   2004
6Basanieri F., Bertolino A., Lombardi G., Nucera G., Marchetti E., Ribolini A. Cow_Suite: a UML-based tool for test-suite planning and derivation. In: Ercim News, vol. 58 pp. 30 - 32. ERCIM, 2004.     
7Bertolino A., Marchetti E., Mirandola R. Decision support for personnel and resources management in multi-project environments. In: Ercim News, vol. 56 pp. 24 - 25. ERCIM, 2004.     

   2003
8Basanieri F., Bertolino A., Marchetti E., Mirandola R. UML-based Performance Analysis Techniques Applied to Software Multiprojects Management. In: International Journal of Computer & Information Sciences, vol. 4 (1) pp. 1 - 13. The International Association for Computer & Information Science, 2003.     
9Bertolino A., Marchetti E., Polini A. Integration of components to test software components. In: Electronic Notes in Theoretical Computer, vol. 82 (6) pp. 44 - 54. Elsevier, 2003.     

   2002
10Bertolino A., Marchetti E., Mirandola R., Lombardi G., Peciola E. Experience of applying statistical control techniques to the function test phase of a large telecommunications system. In: IEE Proceedings - Software, vol. 149 (4) pp. 93 - 101. IEE, 2002.  

Contribution to Book/Monograph

   2012
1Bartolini C., Bertolino A., Lonetti F., Marchetti E. Approaches to functional, structural and security SOA testing. In: Performance and Dependability in Service Computing: Concepts, Techniques and Research Directions. pp. 381 - 401. Valeria Cardellini, Emiliano Casalicchio, Kalinka Regina Lucas Jaquie Castelo Branco, Julio Cezar Estrella, Francisco Josè Monaco (eds.). Hershey, PA, USA: IGI Global, 2012.     
2Bertolino A., De Angelis G., Di Giandomenico F., Marchetti E., Sabetta A., Spoletini P. Verification and analysis of autonomic systems for networked enterprises. In: Methodologies and Technologies for Networked Enterprises. vol. 7200 pp. 143 - 169. Giuseppe Anastasi, Emilio Bellini, Elisabetta Di Nitto, Carlo Ghezzi, Letizia Tanca, Eugenio Zimeo (eds.). (Lecture Notes in Computer Science, vol. 7200). Berlin Heidelberg: Springer-Verlag, 2012.        

   2008
3Bartolini C., Bertolino A., Marchetti E., Parissis I. Data flow-based validation of Web services compositions: perspectives and examples. In: Architecting Dependable Systems V. pp. 298 - 325. R. de Lemos, F. Di Giandomenico, H. Muccini, C. Gacek, M. Vieira (eds.). (Lecture Notes in Computer Science, vol. 5135). Berlin/Heidelberg: Springer, 2008.        

   2007
4Bertolino A., Gao J., Marchetti E., Polini A. Systematic generation of XML instances to test complex software applications. In: Rapid Integration of Software Engineering Techniques. pp. 114 - 129. (Lecture Notes in Computer Science, vol. 4401). Heidelberg: Springer, 2007.        

   2005
5Bertolino A., Marchetti E. A brief essay on software testing. In: Software Engineering: The Development Process. 3rd edition ed. vol. 1 pp. 393 - 411. Richard Thayer, Mark Christensen and Merlin Dorfman (eds.). ..: Wiley-IEEE Computer Society, 2005.  

Proceedings

   2012
1Bertolino A., Daoudagh S., Lonetti F., Marchetti E. Automatic XACML requests generation for policy testing. In: SecTest 2012/ICST 2012 - IEEE Fifth International Conference on Software Testing, Verification and Validation. The Third International Workshop on Security Testing (Montreal, QC, Canada, 17-21 April 2012). Proceedings, pp. 842 - 849. IEEE, 2012.        
2Bertolino A., Daoudagh S., Lonetti F., Marchetti E., Martinelli F., Mori P. Testing of PolPA authorization systems. In: AST 2012 - 7th International Workshop on Automation of Software Test (Zurich, Switzerland, 2-3 June 2012). Proceedings, pp. 8 - 14. IEEE, 2012.        
3Bertolino A., Daoudagh S., Lonetti F., Marchetti E. The X-CREATE framework: a comparison of XACML policy testing strategies. In: WEBIST 2012 - 8th International Conference on Web Information Systems and Technologies (Porto, Portugal, 18 - 21 April 2012). Proceedings, pp. 155 - 160. Karl-Heinz Krempels, José Cordeiro (eds.). SciTePress Digital Library, 2012.     
4Biscoglio I., Coco A., Fabbrini F., Fusani M., Lami G., Marchetti E., Trentanni G. A case study of requirements quality analysis. In: QUATIC 2012 - 8th International Conference on the Quality of Information and Communications Technology (Lisboa, Portugal, 3-6 September 2012). Proceedings, article n. 57. (Quality of Information and Communications Technology). ACS03, 2012.     

   2011
5Clements P., Escalona M. J., Inverardi P., Malavolta I., Marchetti E. Exploiting software architecture to support requirements satisfaction testing. In: ESEC/FSE '11 - 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering (Szeged, Hungary, 5-9 Settembre 2011). Proceedings, pp. 484 - 487. ACM, 2011.        
6Fabbrini F., Fusani M., Marchetti E. Process scenarios in open source software certification. In: OpenCert 2011 - 5th International Workshop on Foundation and Techniques for Open Source Certification (Montevideo, Uruguay, 14-15 November 2011). Proceedings, pp. 3 - 18. European Association of Software Science and Technology, 2011.     
7Marchetti E., Schilders L., Winfield S. Scenario-based testing applied in two real contexts: healthcare and employability. In: ICSTW '11 - 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops (2011, 21-25 March 2011). Proceedings, pp. 89 - 98. IEEE, 2011.        

   2010
8Bertolino A., Lonetti F., Marchetti E. Systematic XACML request generation for testing purposes. In: EUROMICRO SEAA 2010 - 36th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA) (Lille, France, 1-3 September 2010). Proceedings, pp. 3 - 11. IEEE, 2010.        
9Bertolino A., Cartaxo E., Machado P., Marchetti E., Ouriques J. F. Test suite reduction in good order: comparing heuristics from a new viewpoint. In: ICTSS-SBMF-SAST 2010 - 22nd IFIP International Conference ON testing Software and Systems (Natal, Brazil, 8-12 November 2010). Proceedings, pp. 13 - 18. Centre de Recherche Informatique de Montreal, 2010.     
10Lonetti F., Marchetti E. X-MuT: a tool for the generation of XSLT mutants. In: QUATIC 2010 - Seventh International Conference on the Quality of Information and Communications Technology (Porto, Portugal, 29 September-2 October 2010). Proceedings, pp. 280 - 285. F. Brito, Abreu, J. Pascoal de Faria, R. J. Machado (eds.). IEEE, 2010.     

   2009
11Bartolini C., Bertolino A., Marchetti E., Polini A. WS-TAXI: a WSDL-based testing tool for Web Services. In: ICST 2009 - International Conference on Software Testing, Verification and Validation 2009 (Denver, Colorado, 1-4 April 2009). Proceedings, pp. 326 - 335. IEEE, 2009.        
12Bartolini C., Bertolino A., Elbaum S., Marchetti E. Whitening SOA testing. In: ESEC/FSE 2009 - 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering on European software engineering conference and foundations of software engineering symposium (Amsterdam, 24-28 August 2009). Proceedings, pp. 161 - 170. ACM, 2009.     
13Pascale M., Roselli M., Rugani U., Bartolini C., Bertolino A., Lonetti F., Marchetti E., Polini A. Automated testing of healthcare document transformations in the PICASSO interoperability platform. In: ICSE-Companion 2009 - 31st International Conference on Software Engineering - Companion Volume (Vancouver, Canada, 16-24 May 2009). Proceedings, pp. 163 - 171. IEEE, 2009.        

   2008
14Bartolini C., Bertolino A., Marchetti E. Introducing service-oriented coverage testing. In: ARAMIS 2008 - 1st International Workshop on Automated engineeRing of Autonomous and run-tiMe evolvIng Systems. 23rd IEEE/ACM International Conference on Automated Software Engineering Workshops (L'Aquila, 16 September 2008). Proceedings, pp. 57 - 64. IEEE, 2008.        
15Bartolini C., Bertolino A., Marchetti E., Polini A. Towards automated WSDL-based testing of Web services. In: ICSOC 2008 - Service-Oriented Computing. 6th International Conference (Sydney, Australia, 1-5 December 2008). Proceedings, pp. 524 - 529. A. Bouguettaya, I. Krueger, T. Margaria (eds.). (Lecture Notes in Computer Science, vol. 5364). Springer-Verlag, 2008.        
16Bertolino A., Cartaxo E., Machado P., Marchetti E. Weighting influence of user behavior in software validation. In: CUB08 - 1st International Workshop on Computer Users' Behaviour in conjunction with the 19th International Conference on Database and Expert Systems Applications - DEXA'08, (Torino, Italy, 1-5 settembre 2008). Proceedings, pp. 495 - 500. IEEE Computer Society, 2008.     

   2007
17Bertolino A., Gao J., Marchetti E., Polini A. Automatic Test Data Generation for XML Schema-based Partition Testing. In: Second International Workshop on Automation of Software Testing , 2007. AST '07 (Minneapolis, USA, 20-26 May 2007). Proceedings, IEEE Computer Society, 2007.     
18Bertolino A., Gao J., Marchetti E., Polini A. TAXI - A Tool for XML-Based Testing. In: ICSE '07 - 29th International Conference on Software Engineering (Minneapolis - MN USA, 20-26 May 2007). Proceedings, pp. 53 - 54. IEEE, 2007.        
19Bertolino A., Gao J., Marchetti E., Polini A. XModel-based testing of XSLT applications. In: Third INternational Conference on Web Information Systems and Technologies. WEBIST 2007 (Barcelona, Spain, 3-6 March 2007). Proceedings, vol. Web Interfaces and Applications pp. 282 - 288. Joaquim Filipe, José Cordeiro, Bruno Encarnacao and Vitor Pedrosa. ISTICC, 2007.     
20Marchetti E., Bertolino A. Profiling and testing within domains to facilitate document exchangeability. In: DoSTA 2007 - Workshop on Domain specific approaches to software test automation: in conjunction with the 6th ESEC/FSE joint meeting (Dubrovnik, Croatia, 4 settembre 2007). Proceedings, pp. 34 - 40. ACM, 2007.     

   2006
21Bertolino A., Gao J., Marchetti E. XML every-flavor testing. In: WEBIST 2006 - Second International Conference on Web Information Systems and Technologies (Setùbal, Portugal, 11-13 April 2006). Proceedings, vol. 978-972-8865-46-7 pp. 268 - 273. J.Cordeiro, V. Perdosa, B. Encarnacao, J. Filipe (eds.). INSTICC Press, 2006.  

   2005
22Bertolino A., Herrmann H., Marchetti E., Polini A. Addressing testing objectives for e-learning. In: First International Conference on Methods and Technologies for (Palermo - Italy, March 08-1). Proceedings, vol. Vol. XXXIV pp. 401 - 409. G. Chiazzese, M. Allegra. A. Chifari & S. Ottaviano (eds.). WITPress, 2005.     
23Gao J., Marchetti E., Polini A. Applying Advanced UML based testing methodology to e-Learning. In: IADIS International Conference Applied Computing 2005 (Algarve, Portugal, 22-25 February 2005). Proceedings, vol. Vol 2 pp. 74 - 79. Nuno Guimarães and Pedro Isaías. IADIS Press, 2005.  

   2003
24Basanieri F., Iani P., Lombardi G., Marchetti E. An Industrial Experience in Comparing Manual vs. Automatic Test Cases Generation. In: 4th ACIS International Conference on Software Engineering SNPD 2003 (Lubeck, Germany, 16-18 October 2003). Proceedings, pp. 218 - 225. 2003.     
25Marchetti E., Martelli F., Polini A. Refactoring a Legacy System Using Components. In: 4th Acis International Conference on Software Engineering SNPD 2003 (Lubeck, Germany, 16-18 October 2003). Proceedings, pp. 24 - 31. 2003.     

   2002
26Basanieri F., Bertolino A., Marchetti E., Mirandola R. Automating the management of teams and tasks in software multiprojects using UML and queueing networks. In: 3rd ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing. SNPD02 (Madrid, Spain, 26-27 June 2002). Proceedings, pp. 217 - 224. 2002.  
27Basanieri F., Bertolino A., Marchetti E. The cow_suite approach to planning and deriving test suites in UML projects. In: The Unified Modeling Language. 5th International Conference. UML 2002 (Dresden, Germany, 30 September - 4 October 2002). Proceedings, pp. 383 - 397. Jean-Marc Jézéquel, Heinrich Hussmann, Stephen Cook (eds.). (Lecture Notes in Computer Science, vol. 2460). Springer, 2002.  
28Bertolino A., Marchetti E., Mirandola R. Real-time UML-based performance engineering to aid manager's decisions in multi-project planning. In: WOSP2002 - Third International Workshop on Software and Performance (Rome, Italy, 2-26 July 2002). Proceedings, pp. 251 - 261. ACM, 2002.  
29Bertolino A., Lombardi G., Marchetti E., Mirandola R. Software performance measures to assist decision makers within the rational unified process. In: 12th International Workshop on Software Measurement. IWSM 2002 (Magdeburg, Germany, 7-9 October 2002). Proceedings, pp. 228 - 245. Shaker Verlag, 2002.  

Technical reports

   2012
1Bertolino A., Daoudagh S., Lonetti F., Marchetti E. Modelling and testing of XACML policies. Technical report, 2012.  
2Bertolino A., Marchetti E., Morichetta A. Towards a framework for proactive monitoring of service choreography. Technical report, 2012.  

   2011
3Tigran A., Busch M., Bouquet F., Caballero J., Frédéric D., Frau S., Hoang T. S., Klaedtke F., Koch N., Marchetti E., Rusinowitch M., Sprenger C., Torabi Dashti M., Yautsiukhin A. NESSOS - Initial Solutions for Security Assurance for Services. Network of Excellence on Engineering Secure Future Internet Software Services and Systems. Deliverable D9.2, 2011.  

   2010
4Bertolino A., Lonetti F., Marchetti E. Systematic XACML request generation for testing purposes. Technical report, 2010.  
5Daoudagh S., Lonetti F., Marchetti E. Generazione automatica di casi di test per sistemi di controllo degli Accessi espressi tramite XACML. Technical report, 2010.  
6Daoudagh S., Lonetti F., Marchetti E. Generazione automatica di casi di test per sistemi di controllo degli accessi espressi tramite XACML. Technical report, 2010.  

   2008
7Bertolino A., De Angelis G., Flàvian C., Hoppenbrouwers J., Marchetti E., Polini A., Sabetta A. TAS3 - Trustworthiness - State of the Art. Trusted Architecture for Securely Shared Services (ICT-2007-26955). Deliverable D10.1, 2008.  

   2007
8Marchetti E. ART DECO - preliminary report on devised methodologies and tools for verification, testing and QoS evaluation. adaptive infrastructures for decentralised organizations. Deliverable FIRB-2005-RBNE05C3AH R.A.10.1, 2007.  

   2006
9Marchetti E., Mulas D., Ribolini A. Cow-Suite User Manual Ver 1.0. Technical report, 2006.  

   2005
10Basanieri F., Bertolino A., Marchetti E. Introducing a UML Profile for Application Profiling in the e-Learning Domain. The document has been submitted to Journal: AACE International Journal on E-Learning (http://www.aace.org/pubs/ijel/default.htm), Technical report, 2005.  
11Bertolino A., Herrmann H., Marchetti E., Polini A. Addressing testing objectives for e-learning. Published in: WITPress, Transactions on Information and Communication Technologies, Vol 34 Link The document has been submitted to Conference: Methods and Technologies for E-Learning, ICMTL 2005, Technical report, 2005.
12Bertolino A., Gao J., Marchetti E., Polini A. Partition Testing from XML Schema. The document has been submitted to Journal: IEEE Software, SWSI-0201-1005, Technical report, 2005.  
13Gao J., Marchetti E., Polini A. Applying Advanced UML based testing methodology to e-Learning. The document has been submitted to Conference: WBC 2005, Algarve Portugal, 23-25 February 2005, Technical report, 2005.  
14Marchetti E. Automatic XML Schema Generation UML Application. The document has been submitted to Journal: Elektrotechnik & Informationstechnik (e&i) by Springer Wien/New York, Technical report, 2005.  

   2004
15Bertolino A., Marchetti E. A brief essay on Software Testing. The document has been submitted to other: Software Engineering , IEEE Computer Society, Technical report, 2004.  

   2003
16Bertolino A., Marchetti E., Mirandola R. Propean, a RT-UML based Approach to Help Manager's Decision-making. The document other, Technical report, 2003.  

Software

   2012
1Bertolino A., Daoudagh S., Lonetti F., Marchetti E. XaCml REquests derivAtion for TEsting. [Sofware] Release 1.2 , 07 November 2012.  

Dissertations

   2003
1Marchetti E. Software testing in the XXI century: methods, tools and new approaches to manage, control and evaluate this critical phase. CNR-ISTI. Ph.D. Dissertation, 2003.  

Abstracts

   2007
1Bertolino A., Marchetti E., Parissis I. Perspectives on Data Flow-based Validation of Web Services Compositions. In: 3rd ROSATEA Workshop (The Role of Software Architecture for Testing and Analysis) (Boston, USA, 9-13 July 2007).