Antonia Bertolino

Antonia Bertolino, Kendra Cooper: Guest Editorial for Special Section from Component-based Software Engineering (CBSE) 2011. Information & Software Technology 55(2): 443-444 (2013)

Cesare Bartolini, Antonia Bertolino, Guglielmo De Angelis, Andrea Ciancone, Raffaela Mirandola: Apprehensive QoS monitoring of Service choreographies. SAC 2013: 1893-1899

Antonia Bertolino, Guglielmo De Angelis, Sampo Kellomaki, Andrea Polini: Enhancing Service Federation Trustworthiness through Online Testing. IEEE Computer 45(1): 66-72 (2012)

Antonia Bertolino, Antonello Calabrò, Maik Merten, Bernhard Steffen: Never-stop Learning: Continuous Validation of Learned Models for Evolving Systems through Monitoring. ERCIM News 2012(88) (2012)

Amira Ben Hamida, Fabio Kon, Gustavo Ansaldi Oliva, Carlos Eduardo Moreira Dos Santos, Jean-Pierre Lorré, Marco Autili, Guglielmo De Angelis, Apostolos Zarras, Nikolaos Georgantas, Valérie Issarny, Antonia Bertolino: An Integrated Development and Runtime Environment for the Future Internet. Future Internet Assembly 2012: 81-92

Antonia Bertolino, Said Daoudagh, Francesca Lonetti, Eda Marchetti: Automatic XACML Requests Generation for Policy Testing. ICST 2012: 842-849

Amira Ben Hamida, Antonia Bertolino, Antonello Calabrò, Guglielmo De Angelis, Nelson Lago, Julien Lesbegueries: Monitoring Service Choreographies from Multiple Sources. SERENE 2012: 134-149

Guglielmo De Angelis, Antonia Bertolino, Andrea Polini: Validation and Verification Policies for Governance of Service Choreographies. WEBIST 2012: 58-70

Antonia Bertolino, Guglielmo De Angelis, Andrea Polini: Governance Policies for Verification and Validation of Service Choreographies. WEBIST (Selected Papers) 2012: 86-102

Cesare Bartolini, Antonia Bertolino, Andrea Ciancone, Guglielmo De Angelis, Raffaela Mirandola: Quality Requirements for Service Choreographies. WEBIST 2012: 143-148

Antonia Bertolino, Said Daoudagh, Francesca Lonetti, Eda Marchetti: The X-CREATE Framework - A Comparison of XACML Policy Testing Strategies. WEBIST 2012: 155-160

Giuliano Antoniol, Antonia Bertolino, Yvan Labiche (Eds.): 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation, Montreal, QC, Canada, April 17-21, 2012. IEEE 2012, isbn 978-1-4577-1906-6

Cesare Bartolini, Antonia Bertolino, Sebastian G. Elbaum, Eda Marchetti: Bringing white-box testing to Service Oriented Architectures through a Service Oriented Approach. Journal of Systems and Software 84(4): 655-668 (2011)

Antonia Bertolino, Guglielmo De Angelis, Alessio Di Sandro, Antonino Sabetta: Is my model right? Let me ask the expert. Journal of Systems and Software 84(7): 1089-1099 (2011)

Denitsa Manova, Sylvia Ilieva, Francesca Lonetti, Antonia Bertolino, Cesare Bartolini: Towards automated robustness testing of BPEL orchestrators. CompSysTech 2011: 659-664

W. Eric Wong, Antonia Bertolino, Vidroha Debroy, Aditya P. Mathur, Jeff Offutt, Mladen A. Vouk: Teaching software testing: Experiences, lessons learned and the path forward. CSEE&T 2011: 530-534

Antinisca Di Marco, Claudio Pompilio, Antonia Bertolino, Antonello Calabrò, Francesca Lonetti, Antonino Sabetta: Yet another meta-model to specify non-functional properties. QASBA 2011: 9-16

Howard Foster, Antonia Bertolino, J. Jenny Li: Sixth international workshop on automation of software test: (AST 2011). ICSE 2011: 1216-1217

Antonia Bertolino: Towards Ensuring Eternal Connectability. ICSOFT (1) 2011: 07

Antonia Bertolino, Antonello Calabrò, Felicita Di Giandomenico, Marco Martinucci, Paolo Masci: Automated Refinement of Dependability Analysis through Monitoring in Dynamically Connected Systems. ISADS 2011: 315-318

Antonia Bertolino, Antonello Calabrò, Francesca Lonetti, Antinisca Di Marco, Antonino Sabetta: Towards a Model-Driven Infrastructure for Runtime Monitoring. SERENE 2011: 130-144

Antonia Bertolino, Antonello Calabrò, Felicita Di Giandomenico, Nicola Nostro: Dependability and Performance Assessment of Dynamic CONNECTed Systems. SFM 2011: 350-392

Sylvia Ilieva, Denitsa Manova, Ilina Manova, Cesare Bartolini, Antonia Bertolino, Francesca Lonetti: An automated approach to robustness testing of BPEL orchestrations. SOSE 2011: 193-203

Marcelo Medeiros Eler, Antonia Bertolino, Paulo Cesar Masiero: More testable service compositions by test metadata. SOSE 2011: 204-213

Antonia Bertolino, Guglielmo De Angelis, Andrea Polini: (role)CAST: A Framework for On-line Service Testing. WEBIST 2011: 13-18

Ivica Crnkovic, Judith A. Stafford, Antonia Bertolino, Kendra M. L. Cooper (Eds.): Proceedings of the 14th International ACM Sigsoft Symposium on Component Based Software Engineering, CBSE 2011, part of Comparch '11 Federated Events on Component-Based Software Engineering and Software Architecture, Boulder, CO, USA, June 20-24, 2011. ACM 2011, isbn 978-1-4503-0723-9

Antonia Bertolino, Francesca Lonetti, Eda Marchetti: Systematic XACML Request Generation for Testing Purposes. EUROMICRO-SEAA 2010: 3-11

Antonia Bertolino, Paola Inverardi, Valérie Issarny, Antonino Sabetta, Romina Spalazzese: On-the-Fly Interoperability through Automated Mediator Synthesis and Monitoring. ISoLA (2) 2010: 251-262

Antinisca Di Marco, Antonia Bertolino, Felicita Di Giandomenico, Paolo Masci, Antonino Sabetta: Metrics for QoS analysis in dynamic, evolving and heterogeneous connected systems. WODA 2010: 32-37

Antonia Bertolino: Quality in ICT Verification and Validation. QUATIC 2010: 259-261

Valérie Issarny, Bernhard Steffen, Bengt Jonsson, Gordon S. Blair, Paul Grace, Marta Z. Kwiatkowska, Radu Calinescu, Paola Inverardi, Massimo Tivoli, Antonia Bertolino, Antonino Sabetta: CONNECT Challenges: Towards Emergent Connectors for Eternal Networked Systems. ICECCS 2009: 154-161

Massimo Pascale, Marcello Roselli, Umberto Rugani, Cesare Bartolini, Antonia Bertolino, Francesca Lonetti, Eda Marchetti, Andrea Polini: Automated testing of healthcare document transformations in the PICASSO interoperability platform. ICSE Companion 2009: 163-171

Antonia Bertolino, Andrea Polini: SOA Test Governance: Enabling Service Integration Testing across Organization and Technology Borders. ICST Workshops 2009: 277-286

Cesare Bartolini, Antonia Bertolino, Eda Marchetti, Andrea Polini: WS-TAXI: A WSDL-based Testing Tool for Web Services. ICST 2009: 326-335

Antonia Bertolino, Paola Inverardi, Patrizio Pelliccione, Massimo Tivoli: Automatic synthesis of behavior protocols for composable web-services. ESEC/SIGSOFT FSE 2009: 141-150

Cesare Bartolini, Antonia Bertolino, Sebastian G. Elbaum, Eda Marchetti: Whitening SOA testing. ESEC/SIGSOFT FSE 2009: 161-170

Antonia Bertolino, Emanuela G. Cartaxo, Patrícia D. L. Machado, Eda Marchetti: Weighting Influence of User Behavior in Software Validation. DEXA Workshops 2008: 495-500

Cesare Bartolini, Antonia Bertolino, Eda Marchetti, Andrea Polini: Towards Automated WSDL-Based Testing of Web Services. ICSOC 2008: 524-529

Antonia Bertolino, Guglielmo De Angelis, Antinisca Di Marco, Paola Inverardi, Antonino Sabetta, Massimo Tivoli: A Framework for Analyzing and Testing the Performance of Software Services. ISoLA 2008: 206-220

Antonia Bertolino, Guglielmo De Angelis, Lars Frantzen, Andrea Polini: The PLASTIC Framework and Tools for Testing Service-Oriented Applications. ISSSE 2008: 106-139

Cesare Bartolini, Antonia Bertolino, Eda Marchetti: Introducing service-oriented coverage testing. ASE Workshops 2008: 57-64

Antonia Bertolino, Wolfgang Emmerich, Paola Inverardi, Valérie Issarny, Fotios K. Liotopoulos, Pierre Plaza: PLASTIC: Providing lightweight & adaptable service technology for pervasive information & communication. ASE Workshops 2008: 65-70

Antonia Bertolino, Guglielmo De Angelis, Antonino Sabetta: VCR: Virtual Capture and Replay for Performance Testing. ASE 2008: 399-402

Antonia Bertolino: Software Testing Forever: Old and New Processes and Techniques for Validating Today's Applications. PROFES 2008: 1

Antonia Bertolino, Guglielmo De Angelis, Lars Frantzen, Andrea Polini: Model-Based Generation of Testbeds for Web Services. TestCom/FATES 2008: 266-282

Antonia Bertolino, Guglielmo De Angelis, Francesca Lonetti, Antonino Sabetta: Let The Puppets Move! Automated Testbed Generation for Service-oriented Mobile Applications. EUROMICRO-SEAA 2008: 321-328

Antonia Bertolino, Eda Marchetti, Raffaela Mirandola: Performance measures for supporting project manager decisions. Software Process: Improvement and Practice 12(2): 141-164 (2007)

Muhammad Jaffar-Ur Rehman, Fakhra Jabeen, Antonia Bertolino, Andrea Polini: Testing software components for integration: a survey of issues and techniques. Softw. Test., Verif. Reliab. 17(2): 95-133 (2007)

Henry Muccini, Andrea Polini, Fabiano Ricci, Antonia Bertolino: Monitoring Architectural Properties in Dynamic Component-Based Systems. CBSE 2007: 124-139

Antonia Bertolino, Jinghua Gao, Eda Marchetti, Andrea Polini: Automatic Test Data Generation for XML Schema-based Partition Testing. AST 2007: 10-16

Antonia Bertolino, Jinghua Gao, Eda Marchetti, Andrea Polini: TAXI - A Tool for XML-Based Testing. ICSE Companion 2007: 53-54

Antonia Bertolino: Software Testing Research: Achievements, Challenges, Dreams. FOSE 2007: 85-103

Cesare Bartolini, Antonia Bertolino, Eda Marchetti, Ioannis Parissis: Data Flow-Based Validation of Web Services Compositions: Perspectives and Examples. WADS 2007: 298-325

Antonia Bertolino, Guglielmo De Angelis, Andrea Polini: A QoS Test-Bed Generator for Web Services. ICWE 2007: 17-31

Eda Marchetti, Antonia Bertolino: Profiling and testing within domains to facilitate document exchangeability. DOSTA 2007: 34-40

Antonia Bertolino, Guglielmo De Angelis, Antonino Sabetta, Sebastian G. Elbaum: Scaling up SLA monitoring in pervasive environments. ESSPE 2007: 65-68

Antonia Bertolino, Henry Muccini: Welcome to the WISE track. ESEC/SIGSOFT FSE (Companion) 2007: 469

Antonia Bertolino, Jinghua Gao, Eda Marchetti, Andrea Polini: XModel-Based Testing of XSLT Applications. WEBIST (2) 2007: 282-288

Antonia Bertolino, Guglielmo De Angelis, Andrea Polini: Automatic generation of test-beds for pre-deployment QoS evaluation of web services. WOSP 2007: 137-140

Ivica Crnkovic, Antonia Bertolino (Eds.): Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007, Dubrovnik, Croatia, September 3-7, 2007. ACM 2007, isbn 978-1-59593-811-4

Ivica Crnkovic, Antonia Bertolino (Eds.): Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007, Dubrovnik, Croatia, September 3-7, 2007, Companion Papers. ACM 2007, isbn 978-1-59593-812-1

Robert L. Glass, Ross Collard, Antonia Bertolino, James Bach, Cem Kaner: Software Testing and Industry Needs. IEEE Software 23(4): 55-57 (2006)

Cesare Bartolini, Antonia Bertolino, Guglielmo De Angelis, Giuseppe Lipari: A UML Profile and a Methodology for Real-Time Systems Design. EUROMICRO-SEAA 2006: 108-117

Antonia Bertolino, Alvise Bonivento, Guglielmo De Angelis, Alberto L. Sangiovanni-Vincentelli: Modeling and Early Performance Estimation for Network Processor Applications. MoDELS 2006: 753-767

Antonia Bertolino, Henry Muccini, Andrea Polini: Architectural Verification of Black-Box Component-Based Systems. RISE 2006: 98-113

Antonia Bertolino, Jinghua Gao, Eda Marchetti, Andrea Polini: Systematic Generation of XML Instances to Test Complex Software Applications. RISE 2006: 114-129

Antonia Bertolino, Alessandro Fantechi, Stefania Gnesi, Giuseppe Lami: Product Line Use Cases: Scenario-Based Specification and Testing of Requirements. Software Product Lines 2006: 425-445

Antonia Bertolino, Jinghua Gao, Eda Marchetti: XML Every-Flavor Testing. WEBIST (1) 2006: 268-273

Antonia Bertolino, Eda Marchetti, Henry Muccini: Introducing a Reasonably Complete and Coherent Approach for Model-based Testing. Electr. Notes Theor. Comput. Sci. 116: 85-97 (2005)

Antonia Bertolino, Andrea Polini: The Audition Framework for Testing Web Services Interoperability. EUROMICRO-SEAA 2005: 134-142

Antonia Bertolino, Guglielmo De Angelis, Raffaela Mirandola: UML-based Design of Network Processors Applications. EUROMICRO-SEAA 2005: 424-431

Antonia Bertolino, Antonio Bucchiarone, Stefania Gnesi, Henry Muccini: An Architecture-Centric Approach for Producing Quality Systems. QoSA/SOQUA 2005: 21-37

Antonia Bertolino: The (Im)maturity level of software testing. ACM SIGSOFT Software Engineering Notes 29(5): 1-4 (2004)

Henry Muccini, Antonia Bertolino, Paola Inverardi: Using Software Architecture for Code Testing. IEEE Trans. Software Eng. 30(3): 160-171 (2004)

Antonia Bertolino, Raffaela Mirandola: CB-SPE Tool: Putting Component-Based Performance Engineering into Practice. CBSE 2004: 233-248

Antonia Bertolino, Lars Frantzen, Andrea Polini, Jan Tretmans: Audition of Web Services for Testing Conformance to Open Specified Protocols. Architecting Systems with Trustworthy Components 2004: 1-25

Sharareh Afsharian, Antonia Bertolino, Guglielmo De Angelis, Paola Iovanna, Raffaela Mirandola: A Model Based Approach to Design Applications for Network Processor. RISE 2004: 93-101

Antonia Bertolino, Raffaela Mirandola: Software performance engineering of component-based systems. WOSP 2004: 238-242

Antonia Bertolino, Eda Marchetti, Andrea Polini: Integration of "Components" to Test Software Components. Electr. Notes Theor. Comput. Sci. 82(6): 44-54 (2003)

Antonia Bertolino, Raffaela Mirandola: Modeling and Analysis of Non-functional Properties in Component-based Systems. Electr. Notes Theor. Comput. Sci. 82(6): 158-168 (2003)

Martina Marré, Antonia Bertolino: Using Spanning Sets for Coverage Testing. IEEE Trans. Software Eng. 29(11): 974-984 (2003)

Antonia Bertolino: Software Testing Research and Practice. Abstract State Machines 2003: 1-21

Antonia Bertolino, Andrea Polini: A Framework for Component Deployment Testing. ICSE 2003: 221-231

Antonia Bertolino, Stefania Gnesi: PLUTO: A Test Methodology for Product Families. PFE 2003: 181-197

Antonia Bertolino, Paola Inverardi, Henry Muccini: Formal Methods in Testing Software Architectures. SFM 2003: 122-147

Antonia Bertolino, Stefania Gnesi: Use case-based testing of product lines. ESEC / SIGSOFT FSE 2003: 355-358

Antonia Bertolino, Eda Marchetti, Raffaela Mirandola, Gaetano Lombardi, Emilia Peciola: Experience of applying statistical control techniques to the function test phase of a large telecommunications system. IEE Proceedings - Software 149(4): 93-101 (2002)

István Forgács, Antonia Bertolino: Preventing untestedness in data-flow based testing. Softw. Test., Verif. Reliab. 12(1): 29-58 (2002)

Mary Jean Harrold, Antonia Bertolino: Guest Editors' Introduction: 2000 International Symposium on Software Testing and Analysis. IEEE Trans. Software Eng. 28(2): 113-114 (2002)

Antonia Bertolino, Andrea Polini: WCT: A Wrapper for Component Testing. FIDJI 2002: 165-174

Antonia Bertolino: ISSTA 2002 panel: is ISSTA research relevant to industrial users? ISSTA 2002: 201-202

Francesca Basanieri, Antonia Bertolino, Eda Marchetti: The Cow_Suite Approach to Planning and Deriving Test Suites in UML Projects. UML 2002: 383-397

Antonia Bertolino, Eda Marchetti, Raffaela Mirandola: Real-tiem UML-based performance engineering to aid manager's decisions in multi-project planning. Workshop on Software and Performance 2002: 251-261

Antonia Bertolino, Paola Inverardi, Henry Muccini: An Explorative Journey from Architectural Tests Definition downto Code Tests Execution. ICSE 2001: 211-220

Antonia Bertolino, Flavio Corradini, Paola Inverardi, Henry Muccini: Deriving test plans from architectural descriptions. ICSE 2000: 220-229

Antonia Bertolino, Gail C. Murphy: An overview of the ICSE 2000 workshop program. ICSE 2000: 793

Gaetano Lombardi, Emilia Peciola, Raffaela Mirandola, Antonia Bertolino, Eda Marchetti: Towards Statistical Control of an Industrial Test Process. SAFECOMP 1999: 260-271

Antonia Bertolino, Lorenzo Strigini: Assessing the Risk due to Software Faults: Estimates of Failure Rate versus Evidence of Perfection. Softw. Test., Verif. Reliab. 8(3): 155-166 (1998)

Antonia Bertolino, Raffaela Mirandola, Emilia Peciola: A case study in branch testing automation. Journal of Systems and Software 38(1): 47-59 (1997)

István Forgács, Antonia Bertolino: Feasible Test Path Selection by Principal Slicing. ESEC / SIGSOFT FSE 1997: 378-394

Antonia Bertolino, Paola Inverardi, Henry Muccini, Andrea Rosetti: An approach to integration testing based on architectural descriptions. ICECCS 1997: 77-

Antonia Bertolino, Martina Marré: How Many Paths are Needed for Branch Testing? Journal of Systems and Software 35(2): 95-106 (1996)

Antonia Bertolino: Software Assessment: Reliability, Safety, Testability, by Michael A. Friedman and Jeffrey M. Voas, Wiley, 1995 (Book Review). Softw. Test., Verif. Reliab. 6(2): 113-115 (1996)

Antonia Bertolino, Lorenzo Strigini: On the Use of Testability Measures for Dependability Assessment. IEEE Trans. Software Eng. 22(2): 97-108 (1996)

Martina Marré, Antonia Bertolino: Reducing and Estimating the Cost of Test Coverage Criteria. ICSE 1996: 486-494

Martina Marré, Antonia Bertolino: Unconstrained Duals and Their Use in Achieving All-Uses Coverage. ISSTA 1996: 147-157

Antonia Bertolino, Lorenzo Strigini: Using Testability Measures for Dependability Assessment. ICSE 1995: 61-70

Antonia Bertolino: Software Testing for Dependability Assessment. Objective Software Quality 1995: 236-248

Antonia Bertolino: Guest editor's corner achieving quality in software. Journal of Systems and Software 26(1): 1-3 (1994)

Antonia Bertolino, Martina Marré: Automatic Generation of Path Covers Based on the Control Flow Analysis of Computer Programs. IEEE Trans. Software Eng. 20(12): 885-899 (1994)

Antonia Bertolino, Martina Marré: A Meaningful Bound for Branch Testing (Abstract). ISSTA 1994: 202

Antonia Bertolino: Unconstrained edges and their application to branch analysis and testing of programs. Journal of Systems and Software 20(2): 125-133 (1993)

Antonia Bertolino: An overview of automated software testing. Journal of Systems and Software 15(2): 133-138 (1991)

Paolo Ancilotti, Antonia Bertolino, Mario Fusani: An Approach to Efficient Distributed Transactions. Distributed Computing 2(4): 201-212 (1988)