An Approach to Efficient Distributed Transactions. - Paolo Ancilotti; Antonia Bertolino; Mario Fusani (Distributed Comput., 1988)

An overview of automated software testing. - Antonia Bertolino (J. Syst. Softw., 1991)

Deriving path expressions recursively. - Antonia Bertolino; Martina Marré (WPC, 1993)

Unconstrained edges and their application to branch analysis and testing of programs. - Antonia Bertolino (J. Syst. Softw., 1993)

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

Guest editor's corner achieving quality in software. - Antonia Bertolino (J. Syst. Softw., 1994)

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

Using Testability Measures for Dependability Assessment. - Antonia Bertolino; Lorenzo Strigini (ICSE, 1995)

Software Testing for Dependability Assessment. - Antonia Bertolino (Objective Software Quality, 1995)

Reducing and Estimating the Cost of Test Coverage Criteria. - Martina Marré; Antonia Bertolino (ICSE, 1996)

Unconstrained Duals and Their Use in Achieving All-Uses Coverage. - Martina Marré; Antonia Bertolino (ISSTA, 1996)

Acceptance Criteria for Critical Software Based on Testability Estimates and Test Results. - Antonia Bertolino; Lorenzo Strigini (SAFECOMP, 1996)

Architecture-based software testing. - Antonia Bertolino; Paola Inverardi (ISAW/Viewpoints@FSE, 1996)

How Many Paths are Needed for Branch Testing? - Antonia Bertolino; Martina Marré (J. Syst. Softw., 1996)

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

On the Use of Testability Measures for Dependability Assessment. - Antonia Bertolino; Lorenzo Strigini (IEEE Trans. Software Eng., 1996)

Feasible Test Path Selection by Principal Slicing. - István Forgács; Antonia Bertolino (ESEC / SIGSOFT FSE, 1997)

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

A case study in branch testing automation. - Antonia Bertolino; Raffaela Mirandola; Emilia Peciola (J. Syst. Softw., 1997)

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

Towards Statistical Control of an Industrial Test Process. - Gaetano Lombardi; Emilia Peciola; Raffaela Mirandola; Antonia Bertolino; Eda Marchetti (SAFECOMP, 1999)

Deriving test plans from architectural descriptions. - Antonia Bertolino; Flavio Corradini; Paola Inverardi; Henry Muccini (ICSE, 2000)

An overview of the ICSE 2000 workshop program. - Antonia Bertolino; Gail C. Murphy (ICSE, 2000)

An Explorative Journey from Architectural Tests Definition downto Code Tests Execution. - Antonia Bertolino; Paola Inverardi; Henry Muccini (ICSE, 2001)

WCT: A Wrapper for Component Testing. - Antonia Bertolino; Andrea Polini (FIDJI, 2002)

ISSTA 2002 panel: is ISSTA research relevant to industrial users? - Antonia Bertolino (ISSTA, 2002)

The Cow_Suite Approach to Planning and Deriving Test Suites in UML Projects. - Francesca Basanieri; Antonia Bertolino; Eda Marchetti (UML, 2002)

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

Experience of applying statistical control techniques to the function test phase of a large telecommunications system. - Antonia Bertolino; Eda Marchetti; Raffaela Mirandola; Gaetano Lombardi; Emilia Peciola (IEE Proc. Softw., 2002)

Preventing untestedness in data-flow based testing. - István Forgács; Antonia Bertolino (Softw. Test. Verification Reliab., 2002)

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

Software Testing Research and Practice. - Antonia Bertolino (Abstract State Machines, 2003)

A Framework for Component Deployment Testing. - Antonia Bertolino; Andrea Polini (ICSE, 2003)

PLUTO: A Test Methodology for Product Families. - Antonia Bertolino; Stefania Gnesi (PFE, 2003)

Formal Methods in Testing Software Architectures. - Antonia Bertolino; Paola Inverardi; Henry Muccini (SFM, 2003)

Use case-based testing of product lines. - Antonia Bertolino; Stefania Gnesi (ESEC / SIGSOFT FSE, 2003)

Modeling and Analysis of Non-functional Properties in Component-based Systems. - Antonia Bertolino; Raffaela Mirandola (TACoS, 2003)

Integration of "Components" to Test Software Components. - Antonia Bertolino; Eda Marchetti; Andrea Polini (TACoS, 2003)

Using Spanning Sets for Coverage Testing. - Martina Marré; Antonia Bertolino (IEEE Trans. Software Eng., 2003)

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

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

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

Software performance engineering of component-based systems. - Antonia Bertolino; Raffaela Mirandola (WOSP, 2004)

Introducing a Reasonably Complete and Coherent Approach for Model-based Testing. - Antonia Bertolino; Eda Marchetti; Henry Muccini (TACoS, 2004)

The (Im)maturity level of software testing. - Antonia Bertolino (ACM SIGSOFT Softw. Eng. Notes, 2004)

Using Software Architecture for Code Testing. - Henry Muccini; Antonia Bertolino; Paola Inverardi (IEEE Trans. Software Eng., 2004)

UML-based Design of Network Processors Applications. - Antonia Bertolino; Guglielmo De Angelis; Raffaela Mirandola (EUROMICRO-SEAA, 2005)

The Audition Framework for Testing Web Services Interoperability. - Antonia Bertolino; Andrea Polini (EUROMICRO-SEAA, 2005)

An Architecture-Centric Approach for Producing Quality Systems. - Antonia Bertolino; Antonio Bucchiarone; Stefania Gnesi; Henry Muccini (QoSA/SOQUA, 2005)

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

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

Systematic Generation of XML Instances to Test Complex Software Applications. - Antonia Bertolino; Jinghua Gao; Eda Marchetti; Andrea Polini (RISE, 2006)

Architectural Verification of Black-Box Component-Based Systems. - Antonia Bertolino; Henry Muccini; Andrea Polini (RISE, 2006)

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

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

Software Testing and Industry Needs. - Robert L. Glass; Ross Collard; Antonia Bertolino; James Bach; Cem Kaner (IEEE Softw., 2006)

Monitoring Architectural Properties in Dynamic Component-Based Systems. - Henry Muccini; Andrea Polini; Fabiano Ricci; Antonia Bertolino (CBSE, 2007)

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

Software Testing Research: Achievements, Challenges, Dreams. - Antonia Bertolino (FOSE, 2007)

TAXI - A Tool for XML-Based Testing. - Antonia Bertolino; Jinghua Gao; Eda Marchetti; Andrea Polini (ICSE Companion, 2007)

Automatic Test Data Generation for XML Schema-based Partition Testing. - Antonia Bertolino; Jinghua Gao; Eda Marchetti; Andrea Polini (AST, 2007)

A QoS Test-Bed Generator for Web Services. - Antonia Bertolino; Guglielmo De Angelis; Andrea Polini (ICWE, 2007)

Scaling up SLA monitoring in pervasive environments. - Antonia Bertolino; Guglielmo De Angelis; Antonino Sabetta; Sebastian G. Elbaum (ESSPE, 2007)

Welcome to the WISE track. - Antonia Bertolino; Henry Muccini (ESEC/SIGSOFT FSE, 2007)

Profiling and testing within domains to facilitate document exchangeability. - Eda Marchetti; Antonia Bertolino (DOSTA, 2007)

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

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

Performance measures for supporting project manager decisions. - Antonia Bertolino; Eda Marchetti; Raffaela Mirandola (Softw. Process. Improv. Pract., 2007)

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

Weighting Influence of User Behavior in Software Validation. - Antonia Bertolino; Emanuela Gadelha Cartaxo; Patrícia D. L. Machado; Eda Marchetti (DEXA Workshops, 2008)

Towards Automated WSDL-Based Testing of Web Services. - Cesare Bartolini; Antonia Bertolino; Eda Marchetti; Andrea Polini (ICSOC, 2008)

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

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

Introducing service-oriented coverage testing. - Cesare Bartolini; Antonia Bertolino; Eda Marchetti (ASE Workshops, 2008)

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

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

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

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

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

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

On-line validation of service oriented systems in the European Project TAS3. - Antonia Bertolino; Guglielmo De Angelis; Andrea Polini (PESOS@ICSE, 2009)

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

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

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

Whitening SOA testing. - Cesare Bartolini; Antonia Bertolino; Sebastian G. Elbaum; Eda Marchetti (ESEC/SIGSOFT FSE, 2009)

Approaches to testing service-oriented software systems. - Antonia Bertolino (QUASOSS@ESEC/FSE, 2009)

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

Model-Based Testing for the Cloud. - Antonia Bertolino; Wolfgang Grieskamp; Robert M. Hierons; Yves Le Traon; Bruno Legeard; Henry Muccini; Amit M. Paradkar; David S. Rosenblum; Jan Tretmans (Practical Software Testing: Tool Automation and Human Factors, 2010)

Systematic XACML Request Generation for Testing Purposes. - Antonia Bertolino; Francesca Lonetti; Eda Marchetti (EUROMICRO-SEAA, 2010)

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

Metrics for QoS analysis in dynamic, evolving and heterogeneous connected systems. - Antinisca Di Marco; Antonia Bertolino; Felicita Di Giandomenico; Paolo Masci 001; Antonino Sabetta (WODA, 2010)

Quality in ICT Verification and Validation. - Antonia Bertolino (QUATIC, 2010)

Dependability in dynamic, evolving and heterogeneous systems: the connect approach. - Antonia Bertolino; Antinisca Di Marco; Fabio Martinelli; Valérie Issarny; Rachid Saadi (SERENE, 2010)

Towards automated robustness testing of BPEL orchestrators. - Denitsa Manova; Sylvia Ilieva; Francesca Lonetti; Antonia Bertolino; Cesare Bartolini (CompSysTech, 2011)

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

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

GLIMPSE: a generic and flexible monitoring infrastructure. - Antonia Bertolino; Antonello Calabrò; Francesca Lonetti; Antonino Sabetta (EWDC, 2011)

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

Towards Ensuring Eternal Connectability. - Antonia Bertolino (ICSOFT (1), 2011)

On-the-Fly Dependable Mediation between Heterogeneous Networked Systems. - Antonia Bertolino; Antonello Calabrò; Felicita Di Giandomenico; Nicola Nostro; Paola Inverardi; Romina Spalazzese (ICSOFT (Selected Papers), 2011)

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

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

Dependability and Performance Assessment of Dynamic CONNECTed Systems. - Antonia Bertolino; Antonello Calabrò; Felicita Di Giandomenico; Nicola Nostro (SFM, 2011)

More testable service compositions by test metadata. - Marcelo Medeiros Eler; Antonia Bertolino; Paulo César Masiero (SOSE, 2011)

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

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

Bringing white-box testing to Service Oriented Architectures through a Service Oriented Approach. - Cesare Bartolini; Antonia Bertolino; Sebastian G. Elbaum; Eda Marchetti (J. Syst. Softw., 2011)

Is my model right? Let me ask the expert. - Antonia Bertolino; Guglielmo De Angelis; Alessio Di Sandro; Antonino Sabetta (J. Syst. Softw., 2011)

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

Non-functional analysis of service choreographies. - Cesare Bartolini; Antonia Bertolino; Guglielmo De Angelis; Andrea Ciancone; Raffaela Mirandola (PESOS@ICSE, 2012)

Testing of PolPA authorization systems. - Antonia Bertolino; Said Daoudagh; Francesca Lonetti; Eda Marchetti; Fabio Martinelli; Paolo Mori (AST, 2012)

Automatic XACML Requests Generation for Policy Testing. - Antonia Bertolino; Said Daoudagh; Francesca Lonetti; Eda Marchetti (ICST, 2012)

Complex Events Specification for Properties Validation. - Antonia Bertolino; Antinisca Di Marco; Francesca Lonetti (QUATIC, 2012)

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

Validation and Verification Policies for Governance of Service Choreographies. - Guglielmo De Angelis; Antonia Bertolino; Andrea Polini (WEBIST, 2012)

Quality Requirements for Service Choreographies. - Cesare Bartolini; Antonia Bertolino; Andrea Ciancone; Guglielmo De Angelis; Raffaela Mirandola (WEBIST, 2012)

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

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

Enhancing Service Federation Trustworthiness through Online Testing. - Antonia Bertolino; Guglielmo De Angelis; Sampo Kellomaki; Andrea Polini (Computer, 2012)

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

Verification and Analysis of Autonomic Systems for Networked Enterprises. - Antonia Bertolino; Guglielmo De Angelis; Felicita Di Giandomenico; Eda Marchetti; Antonino Sabetta; Paola Spoletini (ArtDeco, 2012)

A Toolchain for Designing and Testing XACML Policies. - Antonia Bertolino; Marianne Busch; Said Daoudagh; Nora Koch; Francesca Lonetti; Eda Marchetti (ICST, 2013)

XACMUT: XACML 2.0 Mutants Generator. - Antonia Bertolino; Said Daoudagh; Francesca Lonetti; Eda Marchetti (ICST Workshops, 2013)

A Generative Approach for the Adaptive Monitoring of SLA in Service Choreographies. - Antonia Bertolino; Antonello Calabrò; Guglielmo De Angelis (ICWE, 2013)

Adaptive SLA monitoring of service choreographies enacted on the Cloud. - Antonia Bertolino; Antonello Calabrò; Guglielmo De Angelis (MESOCA, 2013)

Apprehensive QoS monitoring of Service choreographies. - Cesare Bartolini; Antonia Bertolino; Guglielmo De Angelis; Andrea Ciancone; Raffaela Mirandola (SAC, 2013)

Adequate monitoring of service compositions. - Antonia Bertolino; Eda Marchetti; Andrea Morichetta 001 (ESEC/SIGSOFT FSE, 2013)

Software architecture-based analysis and testing: a look into achievements and future challenges. - Antonia Bertolino; Paola Inverardi; Henry Muccini (Computing, 2013)

Automated testing of eXtensible Access Control Markup Language-based access control systems. - Antonia Bertolino; Said Daoudagh; Francesca Lonetti; Eda Marchetti; Louis Schilders (IET Softw., 2013)

An Approach to Adaptive Dependability Assessment in Dynamic and Evolving Connected Systems. - Felicita Di Giandomenico; Antonia Bertolino; Antonello Calabrò; Nicola Nostro (Int. J. Adapt. Resilient Auton. Syst., 2013)

Applying Structural Testing to Services Using Testing Interfaces and Metadata. - Marcelo Medeiros Eler; Antonia Bertolino; Paulo César Masiero (Int. J. Softw. Informatics, 2013)

Guest Editorial for Special Section from Component-based Software Engineering (CBSE) 2011. - Antonia Bertolino; Kendra M. L. Cooper (Inf. Softw. Technol., 2013)

Special section on automation of software test. - Antonia Bertolino; Howard Foster; J. Jenny Li 001; Hong Zhu 002 (J. Syst. Softw., 2013)

Social coverage for customized test adequacy and selection criteria. - Breno Miranda; Antonia Bertolino (AST, 2014)

Coverage-Based Test Cases Selection for XACML Policies. - Antonia Bertolino; Yves Le Traon; Francesca Lonetti; Eda Marchetti; Tejeddine Mouelhi (ICST Workshops, 2014)

Extending UML Testing Profile Towards Non-functional Test Modeling. - Federico Toledo Rodríguez; Francesca Lonetti; Antonia Bertolino; Macario Polo Usaola; Beatriz Pérez Lamancha (MODELSWARD, 2014)

An Automated Testing Framework of Model-Driven Tools for XACML Policy Specification. - Antonia Bertolino; Said Daoudagh; Francesca Lonetti; Eda Marchetti (QUATIC, 2014)

A Requirements-Led Approach for Specifying QoS-Aware Service Choreographies: An Experience Report. - Neil A. M. Maiden; James Lockerbie; Konstantinos Zachos; Antonia Bertolino; Guglielmo De Angelis; Francesca Lonetti (REFSQ, 2014)

An Extensible Framework for Online Testing of Choreographed Services. - Midhat Ali; Francesco De Angelis 001; Daniele Fanì; Antonia Bertolino; Guglielmo De Angelis; Andrea Polini (Computer, 2014)

Testing of PolPA-based usage control systems. - Antonia Bertolino; Said Daoudagh; Francesca Lonetti; Eda Marchetti; Fabio Martinelli; Paolo Mori (Softw. Qual. J., 2014)

Editorial for the special issue of STVR on the 5th IEEE International Conference on Software Testing, Verification, and Validation (ICST 2012). - Antonia Bertolino; Yvan Labiche (Softw. Test. Verification Reliab., 2014)

A Toolchain for Designing and Testing Access Control Policies. - Antonia Bertolino; Marianne Busch; Said Daoudagh; Francesca Lonetti; Eda Marchetti (Engineering Secure Future Internet Services and Systems, 2014)

Validation of Access Control Systems. - Antonia Bertolino; Yves Le Traon; Francesca Lonetti; Eda Marchetti; Tejeddine Mouelhi (Engineering Secure Future Internet Services and Systems, 2014)

Improving Test Coverage Measurement for Reused Software. - Breno Miranda; Antonia Bertolino (EUROMICRO-SEAA, 2015)

Learn PAd : Collaborative and Model-based Learning in Public Administrations. - Antonia Bertolino; Guglielmo De Angelis; Andrea Polini; Darius Silingas (STAF Projects Showcase, 2015)

Similarity testing for access control. - Antonia Bertolino; Said Daoudagh; Donia El Kateb; Christopher Henard; Yves Le Traon; Francesca Lonetti; Eda Marchetti; Tejeddine Mouelhi; Mike Papadakis (Inf. Softw. Technol., 2015)

Software Engineering for Internet Computing: Internetware and Beyond [Guest editors' introduction]. - Antonia Bertolino; M. Brian Blake; Pankaj Mehra; Hong Mei 001; Tao Xie 001 (IEEE Softw., 2015)

Learning Path Specification for Workplace Learning based on Business Process Management. - Venkatapathy Subramanian; Antonia Bertolino (CSEDU (1), 2016)

A Model Driven Approach to Business Process-Based Learning. - Venkatapathy Subramanian; Antonia Bertolino (CSEDU (Selected Papers), 2016)

Does code coverage provide a good stopping rule for operational profile based testing? - Breno Miranda; Antonia Bertolino (AST@ICSE, 2016)

Monitoring of Learning Path for Business Process Models. - Venkatapathy Subramanian; Antonia Bertolino (AMARETTO@MODELSWARD, 2016)

Testing access control policies against intended access rights. - Antonia Bertolino; Said Daoudagh; Francesca Lonetti; Eda Marchetti (SAC, 2016)

Towards Business Process Execution Adequacy Criteria. - Antonia Bertolino; Antonello Calabrò; Francesca Lonetti; Eda Marchetti (SWQD, 2016)

A Tool-Supported Methodology for Validation and Refinement of Early-Stage Domain Models. - Marco Autili; Antonia Bertolino; Guglielmo De Angelis; Davide Di Ruscio; Alessio Di Sandro (IEEE Trans. Software Eng., 2016)

Online Robustness Testing of Distributed Embedded Systems: An Industrial Approach. - Khaled Alnawasreh; Patrizio Pelliccione; Zhenxiao Hao; Marten Range; Antonia Bertolino (ICSE-SEIP, 2017)

What paper types are accepted at the international conference on software engineering? - Antonia Bertolino; Antonello Calabrò; Francesca Lonetti; Eda Marchetti; Breno Miranda (ICSE (Companion Volume), 2017)

Adaptive coverage and operational profile-based testing for reliability improvement. - Antonia Bertolino; Breno Miranda; Roberto Pietrantuono; Stefano Russo 001 (ICSE, 2017)

Towards Ex Vivo Testing of MapReduce Applications. - Jesús Morán; Antonia Bertolino; Claudio de la Riva; Javier Tuya (QRS, 2017)

Towards Automated Deployment of Self-adaptive Applications on Hybrid Clouds (Short Paper). - Lom-Messan Hillah; Rodrigo Elia Assad; Antonia Bertolino; Márcio Eduardo Delamaro; Fabio De Rosa; Vinicius C. Garcia; Francesca Lonetti; Ariele-Paolo Maesano; Libero Maesano; Eda Marchetti; Breno Miranda; Auri Vincenzi; et al. (SEFM, 2017)

Scope-aided test prioritization, selection and minimization for software reuse. - Breno Miranda; Antonia Bertolino (J. Syst. Softw., 2017)

When the testing gets tough, the tough get ElasTest. - Antonia Bertolino; Antonello Calabrò; Guglielmo De Angelis; Micael Gallego; Boni García; Francisco Gortázar (ICSE (Companion Volume), 2018)

An automated model-based test oracle for access control systems. - Antonia Bertolino; Said Daoudagh; Francesca Lonetti; Eda Marchetti (AST@ICSE, 2018)

FAST approaches to scalable similarity-based test case prioritization. - Breno Miranda; Emilio Cruciani; Roberto Verdecchia; Antonia Bertolino (ICSE, 2018)

Do We Need New Strategies for Testing Systems-of-Systems? - Vânia de Oliveira Neves; Antonia Bertolino; Guglielmo De Angelis; Lina Garcés (SESoS, 2018)

CARS: Context Aware Reputation Systems to Evaluate Vehicles' Behaviour. - Gianpiero Costantino; Fabio Martinelli; Ilaria Matteucci; Antonia Bertolino; Antonello Calabrò; Eda Marchetti (PDP, 2018)

Perceived Needs and Gains from an Industrial Study in Cloud Testing Automation. - Antonia Bertolino; Antonello Calabrò; Eda Marchetti; Anton Cervantes Sala; Guiomar Tunon de Hita; Ilie-Daniel Gheorghe-Pop; Varun Gowtham (UCC Companion, 2018)

Coverage Testing and Reliability Improvement: A Marriage of Convenience? - Antonia Bertolino (WEBIST, 2018)

Hybrid Is Better: Why and How Test Coverage and Software Reliability Can Benefit Each Other. - Antonia Bertolino; Breno Miranda; Roberto Pietrantuono; Stefano Russo 001 (WEBIST (Revised Selected Papers), 2018)

Guest editorial foreword for the special issue on automated software testing: trends and evidence. - André Takeshi Endo; Antonia Bertolino; José Carlos Maldonado; Márcio Eduardo Delamaro (J. Softw. Eng. Res. Dev., 2018)

A categorization scheme for software engineering conference papers and its application. - Antonia Bertolino; Antonello Calabrò; Francesca Lonetti; Eda Marchetti; Breno Miranda (J. Syst. Softw., 2018)

A tour of secure software engineering solutions for connected vehicles. - Antonia Bertolino; Antonello Calabrò; Felicita Di Giandomenico; Giuseppe Lami; Francesca Lonetti; Eda Marchetti; Fabio Martinelli; Ilaria Matteucci; Paolo Mori (Softw. Qual. J., 2018)

An assessment of operational coverage as both an adequacy and a selection criterion for operational profile based testing. - Breno Miranda; Antonia Bertolino (Softw. Qual. J., 2018)

Automatic Testing of Design Faults in MapReduce Applications. - Jesús Morán; Antonia Bertolino; Claudio de la Riva; Javier Tuya (IEEE Trans. Reliab., 2018)

Supplementary material (source code and results) for "FAST Approaches to Scalable Similarity-based Test Case Prioritization". - Breno Miranda; Emilio Cruciani; Roberto Verdecchia; Antonia Bertolino (Zenodo, 2018)

Changing Software in a Changing World: How to Test in Presence of Variability, Adaptation and Evolution? - Antonia Bertolino; Paola Inverardi (From Software Engineering to Formal Methods and Tools, and Back, 2019)

Scalable approaches for test suite reduction. - Emilio Cruciani; Breno Miranda; Roberto Verdecchia; Antonia Bertolino (ICSE, 2019)

Security assessment of systems of systems. - Miguel Angel Olivero; Antonia Bertolino; Francisco José Domínguez Mayo; María José Escalona; Ilaria Matteucci (SESoS/WDES, 2019)

Towards continuous software reliability testing in DevOps. - Roberto Pietrantuono; Antonia Bertolino; Guglielmo De Angelis; Breno Miranda; Stefano Russo 001 (AST@ICSE, 2019)

Governing Regression Testing in Systems of Systems. - Antonia Bertolino; Guglielmo De Angelis; Francesca Lonetti (ISSRE Workshops, 2019)

RETORCH: Resource-Aware End-to-End Test Orchestration. - Cristian Augusto; Jesús Morán; Antonia Bertolino; Claudio de la Riva; Javier Tuya (QUATIC, 2019)

Addressing Security Properties in Systems of Systems: Challenges and Ideas. - Miguel Angel Olivero; Antonia Bertolino; Francisco José Domínguez Mayo; María José Escalona; Ilaria Matteucci (SERENE, 2019)

Debugging Flaky Tests on Web Applications. - Jesús Morán; Cristian Augusto; Antonia Bertolino; Claudio de la Riva; Javier Tuya (WEBIST, 2019)

Understanding and estimating quality of experience in WebRTC applications. - Boni García; Micael Gallego; Francisco Gortázar; Antonia Bertolino (Computing, 2019)

A Systematic Review on Cloud Testing. - Antonia Bertolino; Guglielmo De Angelis; Micael Gallego; Boni García; Francisco Gortázar; Francesca Lonetti; Eda Marchetti (ACM Comput. Surv., 2019)

Scalable Approaches for Test Suite Reduction. - Emilio Cruciani; Breno Miranda; Roberto Verdecchia; Antonia Bertolino (Zenodo, 2019)

JTeC: A Large Collection of Java Test Classes forTest Code Analysis and Processing. - Federico Corò; Roberto Verdecchia; Emilio Cruciani; Breno Miranda; Antonia Bertolino (Zenodo, 2019)

MSR19-JTeC/JTeC: Initial JTeC release. - Federico Corò; Roberto Verdecchia; Emilio Cruciani; Breno Miranda; Antonia Bertolino (Zenodo, 2019)

JTeC: A Large Collection of Java Test Classes forTest Code Analysis and Processing. - Federico Corò; Roberto Verdecchia; Emilio Cruciani; Breno Miranda; Antonia Bertolino (Zenodo, 2019)

JTeC: A Large Collection of Java Test Classes forTest Code Analysis and Processing. - Federico Corò; Roberto Verdecchia; Emilio Cruciani; Breno Miranda; Antonia Bertolino (Zenodo, 2019)

Defensive Programming for Smart Home Cybersecurity. - Maria Teresa Rossi; Renan Greca; Ludovico Iovino; Giorgio Giacinto; Antonia Bertolino (EuroS&P Workshops, 2020)

Learning-to-rank vs ranking-to-learn: strategies for regression testing in continuous integration. - Antonia Bertolino; Antonio Guerriero; Breno Miranda; Roberto Pietrantuono; Stefano Russo 001 (ICSE, 2020)

Run Java Applications and Test Them In-Vivo Meantime. - Antonia Bertolino; Guglielmo De Angelis; Breno Miranda; Paolo Tonella (ICST, 2020)

Standing on the Shoulders of Software Product Line Research for Testing Systems of Systems. - Antonia Bertolino; Francesca Lonetti; Vânia de Oliveira Neves (ISSRE Workshops, 2020)

What is the Vocabulary of Flaky Tests? - Gustavo Pinto 001; Breno Miranda; Supun Dissanayake; Marcelo d'Amorim; Christoph Treude; Antonia Bertolino (MSR, 2020)

JTeC: A Large Collection of Java Test Classes for Test Code Analysis and Processing. - Federico Corò; Roberto Verdecchia; Emilio Cruciani; Breno Miranda; Antonia Bertolino (MSR, 2020)

Quality-of-Experience driven configuration of WebRTC services through automated testing. - Antonia Bertolino; Antonello Calabrò; Guglielmo De Angelis; Francisco Gortázar; Francesca Lonetti; Michel Maes-Bermejo; Guiomar Tuñón de Hita (QRS, 2020)

EDUFYSoS: A Factory of Educational System of Systems Case Studies. - Antonia Bertolino; Guglielmo De Angelis; Francesca Lonetti; Vânia de Oliveira Neves; Miguel Angel Olivero (SoSE, 2020)

Process-oriented knowledge management and learning in public administrations. - Antonia Bertolino; Guglielmo De Angelis; Andrea Polini; Barbara Re 001; Andrea Sergiacomi (Electron. Gov. an Int. J., 2020)

Cloud testing automation: industrial needs and ElasTest response. - Antonia Bertolino; Antonello Calabrò; Eda Marchetti; Anton Cervantes Sala; Guiomar Tunon de Hita; Ilie-Daniel Gheorghe-Pop; Varun Gowtham (IET Softw., 2020)

Digital persona portrayal: Identifying pluridentity vulnerabilities in digital life. - Miguel Angel Olivero; Antonia Bertolino; Francisco José Domínguez Mayo; María José Escalona; Ilaria Matteucci (J. Inf. Secur. Appl., 2020)

FlakyLoc: Flakiness Localization for Reliable Test Suites in Web Applications. - Jesús Morán; Cristian Augusto; Antonia Bertolino; Claudio de la Riva; Javier Tuya (J. Web Eng., 2020)

RETORCH: an approach for resource-aware orchestration of end-to-end test cases. - Cristian Augusto; Jesús Morán; Antonia Bertolino; Claudio de la Riva; Javier Tuya (Softw. Qual. J., 2020)

Advances in test automation for software with special focus on artificial intelligence and machine learning. - J. Jenny Li 001; Andreas Ulrich; Xiaoying Bai; Antonia Bertolino (Softw. Qual. J., 2020)

Testing Relative to Usage Scope: Revisiting Software Coverage Criteria. - Breno Miranda; Antonia Bertolino (ACM Trans. Softw. Eng. Methodol., 2020)

What We Talk About When We Talk About Software Test Flakiness. - Morena Barboni; Antonia Bertolino; Guglielmo De Angelis (QUATIC, 2021)

Know You Neighbor: Fast Static Prediction of Test Flakiness. - Roberto Verdecchia; Emilio Cruciani; Breno Miranda; Antonia Bertolino (IEEE Access, 2021)

Adaptive Test Case Allocation, Selection and Generation Using Coverage Spectrum and Operational Profile. - Antonia Bertolino; Breno Miranda; Roberto Pietrantuono; Stefano Russo 001 (IEEE Trans. Software Eng., 2021)

Supplemental Material: What we talk about when we talk about software test flakiness. - Morena Barboni; Antonia Bertolino; Guglielmo De Angelis (Zenodo, 2021)

Testing non-testable programs using association rules. - Antonia Bertolino; Emilio Cruciani; Breno Miranda; Roberto Verdecchia (AST@ICSE, 2022)

Comparing and Combining File-based Selection and Similarity-based Prioritization towards Regression Test Orchestration. - Renan Greca; Breno Miranda; Milos Gligoric 001; Antonia Bertolino (AST@ICSE, 2022)

Self-adaptive Testing in the Field: Are We There Yet? - Samira Silva; Antonia Bertolino; Patrizio Pelliccione (SEAMS, 2022)

A Survey of Field-based Testing Techniques. - Antonia Bertolino; Pietro Braione; Guglielmo De Angelis; Luca Gazzola; Fitsum Meshesha Kifetew; Leonardo Mariani; Matteo Orrù; Mauro Pezzè; Roberto Pietrantuono; Stefano Russo 001; Paolo Tonella (ACM Comput. Surv., 2022)

A Delphi study to recognize and assess systems of systems vulnerabilities. - Miguel Angel Olivero; Antonia Bertolino; Francisco José Domínguez Mayo; Ilaria Matteucci; María José Escalona (Inf. Softw. Technol., 2022)

Designing and testing systems of systems: From variability models to test cases passing through desirability assessment. - Francesca Lonetti; Vânia de Oliveira Neves; Antonia Bertolino (J. Softw. Evol. Process., 2022)

Comparing and Combining File-based Selection and Similarity-based Prioritization towards Regression Test Orchestration (Replication Package). - Renan Greca; Breno Miranda; Milos Gligoric 002; Antonia Bertolino (Zenodo, 2022)

Fault Localization for Reinforcement Learning. - Jesús Morán; Antonia Bertolino; Claudio de la Riva; Javier Tuya (AITest, 2023)

Cross-coverage testing of functionally equivalent programs. - Antonia Bertolino; Guglielmo De Angelis; Felicita Di Giandomenico; Francesca Lonetti (AST, 2023)

Orchestration Strategies for Regression Test Suites. - Renan Greca; Breno Miranda; Antonia Bertolino (AST, 2023)

State of Practical Applicability of Regression Testing Research: A Live Systematic Literature Review. - Renan Greca; Breno Miranda; Antonia Bertolino (ACM Comput. Surv., 2023)

Replication Package for "State of Practical Applicability of Regression Testing Research: A Live Systematic Literature Review". - Renan Greca; Breno Miranda; Antonia Bertolino (Zenodo, 2023)

Supplemental material for: Automatic Debugging of Design Faults in MapReduce applications. - Jesús Morán; Antonia Bertolino; Claudio de la Riva; Javier Tuya (Zenodo, 2023)

DevOpRET: Continuous reliability testing in DevOps. - Antonia Bertolino; Guglielmo De Angelis; Antonio Guerriero; Breno Miranda; Roberto Pietrantuono; Stefano Russo 001 (J. Softw. Evol. Process., 2023)

Introduction to the special issue on automation of software test and test code quality. - Antonia Bertolino; Shin Hong; Aditya P. Mathur (J. Softw. Evol. Process., 2023)

Supplemental material for: Automatic Debugging of Design Faults in MapReduce applications. - Jesús Morán; Antonia Bertolino; Claudio de la Riva; Javier Tuya (Zenodo, 2023)

Introduction to the special issue on test automation: Trends, benefits, and costs. - Antonia Bertolino; Guglielmo De Angelis; Maurizio Leotta; Filippo Ricca (J. Syst. Softw., 2023)

In vivo test and rollback of Java applications as they are. - Antonia Bertolino; Guglielmo De Angelis; Breno Miranda; Paolo Tonella (Softw. Test. Verification Reliab., 2023)

Model-based security testing in IoT systems: A Rapid Review. - Francesca Lonetti; Antonia Bertolino; Felicita Di Giandomenico (Inf. Softw. Technol., 2023)

Software System Testing Assisted by Large Language Models: An Exploratory Study. - Cristian Augusto; Jesús Morán; Antonia Bertolino; Claudio de la Riva; Javier Tuya (ICTSS, 2024)

A framework for the design of fault-tolerant systems-of-systems. - Francisco Henrique Cerdeira Ferreira; Elisa Yumi Nakagawa; Antonia Bertolino; Francesca Lonetti; Vânia de Oliveira Neves; Rodrigo Pereira dos Santos (J. Syst. Softw., 2024)

Report on the 11th ACM/IEEE International Workshop on Software Engineering for Systems-of-Systems and Software Ecosystems - SESoS@ICSE 2023. - Rodrigo Pereira dos Santos; Pablo Oliveira Antonino; Antonia Bertolino; Doo-Hwan Bae (ACM SIGSOFT Softw. Eng. Notes, 2024)

Flakiness goes live: Insights from an In Vivo testing simulation study. - Morena Barboni; Antonia Bertolino; Guglielmo De Angelis (Inf. Softw. Technol., 2024)

Self-Adaptive Testing in the Field. - Samira Silva; Patrizio Pelliccione; Antonia Bertolino (ACM Trans. Auton. Adapt. Syst., 2024)

A systematic mapping study on security for systems of systems. - Miguel Angel Olivero; Antonia Bertolino; Francisco José Domínguez Mayo; María José Escalona; Ilaria Matteucci (Int. J. Inf. Sec., 2024)

Automatic Debugging of Design Faults in MapReduce Applications. - Jesús Morán; Antonia Bertolino; Claudio de la Riva; Javier Tuya (IEEE Trans. Software Eng., 2024)

Report on the 12th ACM/IEEE International Workshop on Software Engineering for Systems-of-Systems and Software Ecosystems - SESoS@ICSE 2024. - Pablo Oliveira Antonino; Doo-Hwan Bae; Antonia Bertolino; Francesca Lonetti (ACM SIGSOFT Softw. Eng. Notes, 2024)

Supplemental material for: Software System Testing assisted by Large Language Models: An Exploratory Study. - Cristian Augusto; Jesús Morán Barbón; Antonia Bertolino; Claudio de la Riva; Javier Tuya (Zenodo, 2024)

An Adaptive Testing Approach Based on Field Data. - Samira Silva; Ricardo Caldas; Patrizio Pelliccione; Antonia Bertolino (AST@ICSE, 2025)

Energy-Aware Software Testing. - Roberto Verdecchia; Emilio Cruciani; Antonia Bertolino; Breno Miranda (NIER@ICSE, 2025)

RETORCH*: A Cost and Resource aware Model for E2E Testing in the Cloud. - Cristian Augusto; Jesús Morán; Antonia Bertolino; Claudio de la Riva; Javier Tuya (J. Syst. Softw., 2025)

Different approaches for testing body sensor network applications. - Samira Silva; Ricardo Caldas; Patrizio Pelliccione; Antonia Bertolino (J. Syst. Softw., 2025)