PUBLICATION LIST of Antonia Bertolino
Upcoming SlideShare
Loading in...5
×
 

PUBLICATION LIST of Antonia Bertolino

on

  • 753 views

 

Statistics

Views

Total Views
753
Views on SlideShare
753
Embed Views
0

Actions

Likes
0
Downloads
1
Comments
0

0 Embeds 0

No embeds

Accessibility

Categories

Upload Details

Uploaded via as Adobe PDF

Usage Rights

© All Rights Reserved

Report content

Flagged as inappropriate Flag as inappropriate
Flag as inappropriate

Select your reason for flagging this presentation as inappropriate.

Cancel
  • Full Name Full Name Comment goes here.
    Are you sure you want to
    Your message goes here
    Processing…
Post Comment
Edit your comment

    PUBLICATION LIST of Antonia Bertolino PUBLICATION LIST of Antonia Bertolino Document Transcript

    • PUBLICATION LIST of Antonia Bertolino GUEST EDITING ON INTERNATIONAL JOURNALS [ER1] A. Bertolino, “Guest Editor's Corner - Achieving Quality in Software”, Journal of Systems and Software, Vol. 26, No. 1, July, 1994, p. 1-3. [ER2] A. Bertolino, F. Fabbrini, “Special Section on Achieving Quality in Software”, Journal of Systems and Software, Vol. 49, No. 1, December, 1999, p. 87. [ER3] M. J. Harrold, A. Bertolino, “Guest Editor's Introduction: 2000 International Symposium on Software Testing and Analysis”, IEEE Transactions on Software Engineering, vol. 28, No. 2, February, 2002, p. 113-114. EDITING OF PROCEEDINGS [EC1] A. Bertolino, M. Fusani, (Ed.s) Proc. ERCIM Workshop on Software Quality Principles and Techniques, Pisa, Italy, May 21-22, 1992. [EC2] A. Bertolino (Ed.), Proc. 2nd International Conference on Achieving Quality in Software AQuIS '93, Venice, Italy, October 18-20, 1993. [EC3] D. Richardson, P. Inverardi, A. Bertolino, (Ed.s), Proc. International Workshop on the Role of Software Architecture in Testing and Analysis ROSATEA, Marsala, Sicily, Italy, June 30 - July 3, 1998. CHAPTERS IN BOOKS [CB1] A. Bertolino, Knowledge Area Description of Software Testing v. 0.7, Chapter 5, in Guide to the Software Engineering Body of Knowledge SWEBOK (v. 0.7), Software Engineering Coordinated Committee (Joint IEEE Computer Society-ACM Committee), April, 2000 (available from http://www.swebok.org). [CB2] A. Bertolino, P. Inverardi, H. Muccini, "Formal Methods in Testing Software Architectures", Chapter in Formal Methods for Software Architectures, SFM-03:SA Lectures, Eds. M. Bernardo, P. Inverardi, LNCS 2804, 2003, p. 122-147. [CB3] A. Polini, A. Bertolino, “A User Framework for Component Deployment Testing”, Charter in “Testing Commercial-off-the-shelf Components ansd Systems”, Sami Beydeda, Volker Gruhn (Eds.), Springer pp 169- 194 INTERNATIONAL JOURNALS [RI1] A.. Bertolino, M. Fusani, “Software Validation: A Government-Imposed Challenge to the State-of-the-Art in Certification”, Computer Standards & Interfaces, Vol. 6, No. 4, 1987, p. 433-436. [RI2] P. Ancilotti, A. Bertolino, M. Fusani, “An Approach to Efficient Distributed Transactions”, Distributed Computing, Vol. 2, No. 4, 1988, p. 201-212. [RI3] A. Bertolino, “An Overview of Automated Software Testing”, Journal of Systems and Software, Vol. 15, No. 2, 1991, p.133-138. [RI4] A. Bertolino, “Unconstrained Edges and Their Application To Branch Analysis and Testing Of Programs”, Journal of Systems and Software, Vol. 20, No. 2, 1993, p.125-133. [RI5] A. Bertolino, M. Marrè, “Automatic Generation of Test Path Sets Based on the Flow Analysis of Computer Programs”, IEEE Transactions on Software Engineering, Vol. 20, No. 12, December 1994, p. 885-899. [RI6] A. Bertolino, L. Strigini, “On the Use of Testability Measures for Dependability Assessment”, IEEE Transactions on Software Engineering, Vol. 22, No. 2, February 1996, p. 97-108.
    • [RI7] A. Bertolino, M. Marrè, R. Mirandola, “The Number of Tests Required for Branch Coverage”, CrossTalk, Vol.9, No.9, September 1996, p.14-18. [RI8] A. Bertolino, M. Marrè, “How many paths are needed for branch testing?”, Journal of Systems and Software, Vol. 35, No. 2, 1996, p. 95-106. [RI9] A. Bertolino, R. Mirandola, E. Peciola, “A Case Study in Branch Testing Automation”, Journal of Systems and Software , Vol. 38, No.1, July 1997, p. 47-59. [RI10] A. Bertolino, L. Strigini, “Assessing the Risk Due to Software Faults: Estimates of Failure Rate vs. Evidence of Perfection”, Software Testing, Verification and Reliability, Vol. 8, No. 3, September, 1998, p.155-166. [RI11] I. Forgacs, A. Bertolino “Preventing untestedness in data-flow based testing”, Journal of Software Testing, Verification and Reliability, Vol. 12, No. 1, March, 2002, p. 29-58. [RI12] A. Bertolino G. Lombardi, E. Marchetti, R. Mirandola, E.“Experience of Applying Statistical Control Techniques to a Crucial Software Test Phase”, IEE Proc.-Softw., Vol. 149, No. 4, August, 2002, p. 93-101. [RI13] F. Basanieri, A. Bertolino, E. Marchetti, R. Mirandola, “UML-based Performance Analysis Techniques Applied to Software Multiprojects Management”, International Journal of Computer & Information Science IJCIS, Vol. 4, No. 1, March 2003, p. 1-13. [RI14] M. Marrè, A. Bertolino, “Using Spanning Sets for Coverage Testing”, IEEE Transactions on Software Engineering, Vol. 29, No. 11, November 2003, p. 974-984. [RI15] A. Bertolino, E. Marchetti, R. Mirandola, “Decision Support for Personnel and Resources Management in Multi-Project Environments”, ERCIM News No. 56, January, 2004, p. 24-25. [RI16] H. Muccini, A. Bertolino, P. Inverardi, “Using Software Architecture for Code Testing”, IEEE Transactions on Software Engineering, Vol 30, N. 3, March, 2004, p-160-171. [RI17] F. Basanieri, A. Bertolino, G. Lombardi, G. Nucera, E. Marchetti, A. Ribolini,”Cow_Suite: A UML-Based Tool for Test-Suite Planning and Derivation”, ERCIM News No. 58, July 2004, p. 30-32. INVITED PRESENTATIONS [PI1] “Software Testability and Reliability: Necessary Prerequisites”, Convention CQS '94, Milano, Italy, October, 1994. [PI2] “Software Testing Tutorial”, 24 JAIIO, Buenos Aires, August, 1995. [PI3] “Software Testing: Theory, Techniques and Magic, Software Reliability and Testing Metrics”, Ericsson, Rome, Italy, November 26-27, 1998. [PI4] “Modern Testing Techniques and Their Effectiveness”, Assintel Day on “Software Testing Prevenire è meglio che curare”, Milano, Italy, April 12, 2000. [PI5] “Software Testing Research and Practice”, 10th International Workshop on Abstract State Machines ASM 2003, March 3-7, 2003, Taormina (Italy), LNCS 2589, p. 1-21. INTERNATIONAL PROCEEDINGS [CI1] A. Bertolino, M. T. Pareschi, C. Raspollini, “An Experimental Vision System to Recognize Isolated and Partially Overlapped Objects by Shape Matching”, Proc. International Conference on Advances in Image Processing and Pattern Recognition, Pisa, December 10-12, 1985, p.253-258. [CI2] A. Bertolino, M.T. Pareschi, C. Raspollini, “The Use of Contour Information as a Basis for Recognition of Overlapped Objects”, Proc. 2nd International Conference on Image Processing and Its Applications, London, England, June 24-26, 1986, p.154-158.
    • [CI3] P. Ancilotti, A. Bertolino, M. Fusani, “An Efficient Algorithm to Synchronize Accesses to Shared Data”, Fifth International Symposium on Applied Informatics, Grindelwald, February 17-19, 1987, p. 172-175. [CI4] P. Ancilotti, A. Bertolino, M. Fusani, “A General Mechanism to Support Nested Atomic Transactions”, Proc. International Conference on Parallel Processing and Applications, L'Aquila, Italy, September 23-25, 1987, p.449-455. [CI5] A. Bertolino, C. Carlesi, M. Fusani, “Software Certification: The Case of Italian Government Controlled Fiscal Meters”, Proc. Quality Week 1989, San Francisco, May 16-19, 1989, paper 4A-1. [CI6] A. Bertolino, C. Carlesi, M. Fusani, “Applying the European Scheme Concept to a Practical Case of Software Certification”, Proc. Quality Week 1989, San Francisco, May 16-19, 1989, paper 1-2. [CI7] A. Bertolino, C. Carlesi, M. Fusani, V. Lami, “Software certification by demand: an experience from a third- party laboratory”, Proc. IFIP WG 5.4 Working Conference on Approving Software Products, Garmish- Partenkirchen, September 17-19, 1990, p. 331-342. [CI8] A. Bertolino, C. Carlesi, M. Fusani, “A Practical Experience in IV&V: Case Studies From Italy”, Proc. Quality Week 1990, San Francisco, May 15-18, 1990, paper 2-A-3. [CI9] A. Bertolino, M. Giromini, “Easy Branch Testing”, Proc. of the International Conference on Achieving Quality in Software AQuIS '91, Pisa, April 22-24, 1991, pp. 251-258. [CI10] A. Bertolino, C. Carlesi, M. Giromini, “Automated Program Structure Analysis for Branch Testing”, Proc. Quality Week 1991, San Francisco, May 14-17, 1991, paper 3-T-4. [CI11] A. Bertolino, M. Marrè, “Path Analysis and Experimentation on Path Coverage via Minimum Test Covers”, Proc. Sixth International Quality Week 1993 , San Francisco, May 25-28, 1993, paper 4-T-1. [CI12] A. Bertolino, M. Marrè, “Deriving Path Expressions Recursively”, Proc. IEEE 2nd Workshop on Program Comprehension, Capri, July 8-9, 1993, p.177-185. [CI13] A. Bertolino, M. Giromini, “An Approach to the Automatic Derivation of Path Domains”, Proc. Second International Conference on Achieving Quality in Software AQuIS '93, Venice, October 18-20, 1993, p. 127- 142. [CI14] A. Bertolino, M. Marrè, “A Meaningful Bound for Branch Testing”, Proc. ACM International Symposium on Software Testing and Analysis (ISSTA 94), Seattle, August 17-19, 1994, p. 202. [CI15] A. Bertolino, L. Strigini, “Using Testability Measures for Dependability Assessment”, Proc. ACM/IEEE International Conference on Software Engineering ICSE 17th, Seattle, USA, April 23-30, 1995, p. 61-70. [CI16] A. Bertolino, “Software Testing for Dependability Assessment”, in Objective Software Quality, Proc. 2nd Symposium on Software Quality Techniques and Aquisition Criteria, LNCS N. 926, Firenze, May 29-31, 1995, p. 236-248. [CI17] A. Bertolino, R. Mirandola, E. Peciola, “A Case Study in Branch Testing Automation”, Proc. IFIP 3rd International Conference on Achieving Quality in Software AQuIS '96, Firenze, January 24-26, 1996, p. 369- 380. [CI18] P. Asirelli, A. Bertolino, S. Gnesi, “Automatic Testing of Safety Requirements with the Support of a deductive Database”, Proc. IFIP 3rd International Conference on Achieving Quality in Software AQuIS '96, Firenze, January 24-26, 1996, p. 145-157. [CI19] M. Marrè, A. Bertolino, “Unconstrained Duas and Their Use for Achieving All-uses Coverage”, Proc. ACM International Symposium on Software Testing and Analysis (ISSTA '96), San Diego, USA, January 8-10, 1996, p. 147-157.
    • [CI20] M. Marrè, A. Bertolino, “Reducing and Estimating the Cost of Test Coverage Criteria”, Proc. ACM/IEEE 18th International Conference on Software Engineering ICSE 96, Berlin, March, 1996, p. 486-494. [CI21] A. Bertolino, L. Strigini, “Predicting Software Reliability from Testing Taking into Account Other Knowledge about a Program”, Proc. Ninth International Software Quality Week, San Francisco, May 21-24, 1996, paper 5T1. [CI22] A. Bertolino, L. Strigini, “Acceptance Criteria for Critical Software Based on Testability Estimates and Test Results”, Proc. Safecomp '96, Vienna, October 23-25, 1996, p. 83-94. [CI23] A. Bertolino, P. Inverardi, “Architecture-based Software Testing”, Proc. Joint ACM SIGSOFT '96 Workshops ISAW-2, S. Francisco, October, 1996, p. 62-64. [CI24] M. Marrè, A. Bertolino, “A General Path Generation Algorithm for Coverage Testing”, Proc. of The Tenth International Software Quality Week, San Francisco, May 27-30, 1997 (paper 2T1). QW97 Best Paper Award. Also in Proc. International Software Quality Week Europe, Brussels, November 4-7, 1997, paper 4T. [CI25] I. Forgacs, A. Bertolino, “Feasible Test Path Selection by Principal Slicing”, Proc. ACM SIGSOFT International Conference. ESEC/FSE '97, LNCS 1301, Zurigo, 22-25 September, 1997, p. 378-394. [CI26] A. Bertolino, P. Inverardi, H. Muccini and A. Rosetti, “An Approach to Integration Testing based on Architectural Descriptions”, Proc IEEE International Conference ICECCS 1997, Como, Italy, September 8- 12, 1997, p. 77-84. [CI27] A. Bertolino, P. Di Benedetto, G. Lombardi, E. Peciola, “Towards Setting Up a Reliability Testing Process”, Proc. 4th International Conference on Achieving Quality in Software AQuIS '98, Venice, Italy, March 30- April 2, 1998, p. 69-75. [CI28] A. Bertolino, G. Lombardi, E. Marchetti, E. Peciola, “Introducing a Reliability Measurement Program into an Industrial Context”, Proc. ESCOM-ENCRESS 98, Rome, Italy, May 27-29, 1998, p. 277-286. [CI29] A. Bertolino, E. Marchetti, “A Simple Model to Predict How Many More Failures Will Appear in Testing”, Proc. Second International Software Quality Week Europe, Brussels, November 9-13, 1998. [CI30] F. Mercier, A. Bertolino, P. Le Gall, G. Bernot, “A Systematic Approach for Integration Testing of Complex Systems”, Proc. 11th International Conference Sw Engineering and Its Applications, Vol. 1, Session 6, Paris, France, December 8-10, 1998. [CI31] G. Lombardi, E. Peciola, R. Mirandola, A. Bertolino, E. Marchetti, “Towards Statistical Control of an Industrial Test Process”, Proc. Safecomp '99, LNCS 1698, Toulouse, September 27-19, 1999, p. 260-271. [CI32] F. Mercier, P. Le Gall, A. Bertolino, “Formalizing Integration Test Strategies for Distributed Systems”, Proc. International ICSE Workshop on Testing Distributed Component-based Systems, Los Angeles, CA, USA, May, 1999. [CI33] A. Bertolino, F. Corradini, P. Inverardi, H. Muccini, “Deriving Test Plans from Architectural Descriptions”, Proc. 22nd ACM/IEEE International Conference on Software Engineering ICSE 2000, Limerick, Ireland, June 4-11, 2000, p.220-229. [CI34] F. Basanieri, A. Bertolino, “A practical approach to UML-based derivation of integration tests”, Proc. Software Quality Week Europe QWE 2000, November 20-24, 2000, paper 3T. [CI35] A. Bertolino, P. Inverardi, H. Muccini, “An Explorative Journey from Architectural Tests Definition downto Code Tests Execution”, Proc. ACM/IEEE International Conference on Software Engineering ICSE 23rd, Toronto, Ontario, Canada, 12-19 May 2001, p. 211-220. [CI36] F. Basanieri, A. Bertolino, E. Marchetti, “CoWTeSt: A Cost Weighed Test Strategy”, Proc. Escom-Scope 2001, London, England, April 2-4, 2001, p. 387-395.
    • [CI37] F. Basanieri, A. Bertolino, E. Marchetti, A. Ribolini, G. Lombardi, G. Nucera “An Automated Test Strategy Based on UML Diagrams”, Proc. Ericsson Rational User Conference, October 10-11, 2001, Upplands Vasby Sweden. [CI38] A. Bertolino, A. Polini, “Re-thinking the Development Process of Component-based Software”, Proc. 9th IEEE Conference and Workshops on Engineering of Computer-Based Systems Composing Systems from Components, Lund University, Lund, Sweden, April 8-11, 2002, p. 7-10. [CI39] F. Basanieri, A. Bertolino, E. Marchetti, R. Mirandola, “Automating the Management of Teams and Tasks in Software Multiprojects Using UML and Queueing Networks”, Proc. 3rd ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing SNPD02, Madrid, Spain, June 26-27, 2002, p. 217-224. [CI40] A. Bertolino, E. Marchetti, R. Mirandola, “Real-Time UML-based Performance Engineering to Aid Manager's Decisions in Multi-project Planning”, Proc. Third International Workshop on Software and Performance WOSP 2002, Rome, Italy, July 24-26, 2002, p. 251-261. [CI41] A. Bertolino, A. Fantechi, S. Gnesi, G. Lami, A. Maccari, “Use Case Description of Requirements for Product Lines”, Proc. International Workshop on Requirements Engineering for Product Lines, REPL02, Essen, Germany, September 9, 2002, p. 12-19. [CI42] F. Basanieri, A. Bertolino, E. Marchetti, “The Cow_Suite Approach to Planning and Deriving Test Suites in UML Projects”, Proc. Fifth International Conference on the Unified Modeling Language - the Language and its applications UML 2002, LNCS 2460, Dresden, Germany, September 30 - October 4, 2002, p. 383-397. [CI43] A. Bertolino, G. Lombardi, E. Marchetti, R. Mirandola, “Software Performance Measures to Assist Decision Makers within the Rational Unified Process”, Proc. 12th International Workshop on Software Measurement IWSM 2002, Magdeburg, Germany, October 7-9, 2002, p. 228-245. [CI44] A. Bertolino, A. Polini “WCT: a Wrapper for Component Testing”, Proc. International Workshop on scientiFic engIneering of Distributed Java applIcations FIDJI 2002, LNCS 2604, Luxembourg, November 28-29, 2002, p. 197-206. [CI45] A. Bertolino, E. Marchetti, A. Polini, “Integration of “Components” to Test Software Components”, Proc. International Workshop on Test and Analysis of Component Based Systems TACoS 2003, Electronic Notes in Theoretical Computer Science, vol. 82, n. 6, Ed. Elsevier Science BV, Warsaw, Poland, April 13, 2003. [CI46] A. Bertolino, R. Mirandola, “Modeling and Analysis of Non-functional Properties in Component-based Systems”, Proc. International Workshop on Test and Analysis of Component Based Systems TACoS 2003, Electronic Notes in Theoretical Computer Science, vol. 82, n. 6, Ed. Elsevier Science BV, Warsaw, Poland, April 13, 2003. [CI47] A. Bertolino, A. Polini, “A Framework for Component Deployment Testing”, Proc. ACM/IEEE 25th International Conference on Software Engineering ICSE 2003, Portland, Oregon, USA, May 3-10, 2003, p. 221-231. [CI48] A. Bertolino, R. Mirandola, “Towards Component Based Software Performance Engineering”, Proc. 6th Workshop on Component-Based Software Engineering: Automated Reasoning and Prediction, ACM/IEEE 25th International Conference on Software Engineering ICSE 2003, Portland, Oregon, USA, May 3-4, 2003, p 1-6. [CI49] A. Bertolino, S. Gnesi, “Use Case-based Testing of Product Lines”, Proc. European Software Engineering Conference and ACM SIGSOFT Symposium on the Foundations of Software Engineering ESEC/FSE 2003, Helsinki, Finland, September 1-5, 2003, p. 355-358. [CI50] A. Bertolino, S. Gnesi, “PLUTO: A Test Methodology for Product Families”, Proc. Software Product-Family Engineering: 5th International Workshop, PFE 2003, Siena, Italy, November 4-6, 2003,LNCS 3014, 2004, p. 181-197.
    • [CI51] A. Bertolino, R. Mirandola, “Software Performance Engineering of Component-based systems”, Proc. Fourth International Workshop on Software and Performance WOSP 2004, California, USA, January 14-16, 2004, p. 238-242. [CI52] A. Bertolino, R. Mirandola, “CB-SPE Tool: Putting Component-Based Performance Engineering into Practice”, Proc. International Symposium on Component-based Software Engineering CBSE7, Edinburgh, Scotland, May 24-25, 2004, LNCS 3054, 2004, p. 233-248. [CI53] A.. Bertolino, E. Marchetti, H. Muccini, “Introducing a reasonnably complete and coherent approach for model-based testing”, International Workshop on test and Analysis of Component-based Systems, TACOS 2004, Barcelona – Spain, March 27-28 2004 [CI54] A.. Bertolino, A. Polini, P. Inverardi, H. Muccini “Towards Anti-Model-based testing”, International Conference of Dependable Systems and Networks, DSN 2004, Florence, June 28- 1 July 2004, Pag. 124-125 [CI55] S. Afsharian, A.. Bertolino, G. De Angelis, P. Iovanna, R.. Mirandola “A Model Based Approach to Design Applications for Network Processor”, Workshop on Rapid Integration of Software Engineering Techniques, RISE 2004, Luxembourg, November 26 2004, Springer 2005 , LNCS 3475, pag. 93-101 [CI56] A.. Bertolino, H.-C. Hermann, E. Marchetti, A. Polini “Addressing testing Objectives for e-Learning”, First International Conference on Methods and Technologies for Learning ICMTL 2005, Palermo, March 08-11 2005, WITPress ISSN 1734-3517, VOL 34, Pag 401-109 BOOK REVIEWS ON INTERNATIONAL JOURNALS [BR1] A. Bertolino, Review of “Software Assessment, Reliability, Safety, Testability” by M.A. Friedman and J.M. Voas, Software Testing, Verification and Reliability, Vol. 6, No. 2, 1996, p. 113-115. NATIONAL JOURNALS [RN1] A. Bertolino, C. Carlesi, M. Fusani, V. Lami “La Certificazione nella Tecnologia Software”, Sistemi Software, November, 1990, p. 36-44. NATIONAL CONFERENCE ACTS [CN1] A. Bertolino, M. Fusani, “Criteri di Progetto per Sistemi Affidabili di Controllo del Traffico Aereo di Superficie”, Acts Convegno Nazionale ANIPLA “L’Automazione nei Trasporti”, Trieste, Italy, October 28-30, 1986, p.951-964. [CN2] A. Bertolino, C. Carlesi, M. Fusani, V. Lami, F. Leggio, “Una Iniziativa per un Servizio di Certificazione del Software: Considerazioni e Proposte”, Acts Congresso Annuale AICA, Trieste, October 4-6, 1989, p.723-734 [CN3] A. Bertolino, “Recent Advances In Software Testing Theory”, Atti del Congresso Annuale AICA, Palermo, Italy, September 21-23, 1994, p. 1027-1045. INTERNAL NOTES AND NOT REFEREED PUBLICATIONS [N1] A. Bertolino, “Un Sistema di Visione per il Riconoscimento di Oggetti Parzialmente Sovrapposti in Immagini Digitali”, IBM Note on Studi e Ricerche, n.37, Roma, Italy, November, 1985. [N2] A. Bertolino, C. Carlesi, M. Fusani, “Criteri per la Certificazione Pubblica di Software Transazionale”, Internal note, IEI-CNR B4-56, December, 1988. [N3] A. Bertolino, C. Carlesi, M. Fusani, V. Lami, “Proposta di una metodologia di certificazione per il software degli apparecchi misuratori fiscali programmabili e non”, Internal note IEI-CNR B4-51, October, 1989. [N4] A. Bertolino, “Quality by means of Automated Testing”, Proc. of the ERCIM Workshop on Software Quality Principles and Techniques, Pisa, Italy, May 21-22, 1992, p. 45-54.
    • [N5] A. Bertolino, M. Marrè, “On Program Path Analysis”, IEI-CNR Internal note B4-16, June, 1994. [N6] L. Strigini, A. Bertolino, “The Flip Side of Designing for Testability”, IEEE Software, September, 1995, p. 9- 10. [N7] A. Bertolino, M. Fusani, “Software Quality Principles and Techniques: Activities within the ERCIM Institutes”, Ercim News, No. 10, July, 1992, p.8. [N8] A. Bertolino, P. De Risi, M. Fusani, “Quality in Software: Breaking the Wall”, Ercim News, No. 10, July, 1992, p.24. [N9] P. Asirelli, A. Bertolino, S. Gnesi, “Towards an Integrated Environment for the Specification, Design and Testing of Quality Software”, Ercim News, No. 23, October, 1995, p.15. [N10] A. Bertolino, P. Inverardi, “Architecture Support for the Testing of Complex Software Systems”, Ercim News, No. 32, January, 1998, p. 22-23. [N11] A. Bertolino, P. Inverardi, “Reaction Graphs for the Testing and Analysis of Software Architectures”, International Workshop on the Role of Software Architecture in Testing and Analysis Rosatea, Marsala, Italy, June 30-July 3, 1998, p. 58-62. [N12] A. Paxton, A. Bertolino, S. Anderson, “Test Oracles From Formal Proofs”, 1998. [N13] A. Bertolino, F. Corradini, P. Inverardi, H. Muccini. “Architectural Abstractions to Support Analysis and Testing”, University of L'Aquila, Italy, IR 50/99. [N14] A. Bertolino, P. Inverardi, H. Muccini, “Software Architectures and Integration Testing”, Ericsson Conference, Roma, Italy, November, 1999. [N15] A. Bertolino, P. Inverardi, H. Muccini, “Specification-based Testing In-The-Large Driven by the Software Architecture”, University of L'Aquila, Italy, IR 22/00. [N16] A. Bertolino, G. C. Murphy, “An Overview of the ICSE 2000 Workshop Program”, Proc. 22nd ACM/IEEE International Conference on Software Engineering ICSE 2000, Limerick, Ireland, June 4-11, 2000. [N17] F. Basanieri, A. Bertolino E. Marchetti, R.. Mirandola, “Management and planning based on queuing networks”, IEI-CNR, Technical report, TR – 17, April, 2001. [N18] A. Bertolino, G. Lombardi, E. Marchetti, R.. Mirandola, E. Peciola, “Experience of applying statistical control techniques to a crucial software test phase of a large telecommunications system”, Technical report, TR – 18, April, 2001. [N19] F. Basanieri, A. Bertolino E. Marchetti, “An approach and a tool for test generation and management from UML design”, Technical report, TR – 20, June, 2001. [N20] A. Bertolino, “ISSTA 2002 Panel: Is ISSTA research relevant to industrial users?”, Proc. International Symposium on Software Testing and Analysis ISSTA 2002, Rome, Italy, July 22-24, 2002, ft. Eng. Notes, Vol. 27, No. 4, July, 2002, p. 201-202. [N21] A. Bertolino, E. Marchetti, R. Mirandola, “Propean, a RT-UML based Approach to Help Manager's Decision- making”, ISTI-CNR Technical Report, ISTI-2003-TR-19, Italy, July, 2003.