Antonia Bertolino

According to our database, Antonia Bertolino authored at least 221 papers between 1988 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

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., April, 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., April, 2024

Self-Adaptive Testing in the Field.

Samira Silva, Patrizio Pelliccione, Antonia Bertolino

ACM Trans. Auton. Adapt. Syst., March, 2024

Flakiness goes live: Insights from an In Vivo testing simulation study.

Morena Barboni, Antonia Bertolino, Guglielmo De Angelis

Inf. Softw. Technol., March, 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, January, 2024

2023

Model-based security testing in IoT systems: A Rapid Review.

Francesca Lonetti, Antonia Bertolino, Felicita Di Giandomenico

Inf. Softw. Technol., December, 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., November, 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., September, 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., April, 2023

DevOpRET: Continuous reliability testing in DevOps.

Antonia Bertolino, Guglielmo De Angelis, Antonio Guerriero, Breno Miranda, Roberto Pietrantuono, Stefano Russo

J. Softw. Evol. Process., March, 2023

State of Practical Applicability of Regression Testing Research: A Live Systematic Literature Review.

Renan Greca, Breno Miranda, Antonia Bertolino

ACM Comput. Surv., 2023

Orchestration Strategies for Regression Test Suites.

Renan Greca, Breno Miranda, Antonia Bertolino

Proceedings of the IEEE/ACM International Conference on Automation of Software Test, 2023

Cross-coverage testing of functionally equivalent programs.

Antonia Bertolino, Guglielmo De Angelis, Felicita Di Giandomenico, Francesca Lonetti

Proceedings of the IEEE/ACM International Conference on Automation of Software Test, 2023

Fault Localization for Reinforcement Learning.

Jesús Morán, Antonia Bertolino, Claudio de la Riva, Javier Tuya

Proceedings of the IEEE International Conference On Artificial Intelligence Testing, 2023

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

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

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, Paolo Tonella

ACM Comput. Surv., 2022

Self-adaptive Testing in the Field: Are We There Yet?

Samira Silva, Antonia Bertolino, Patrizio Pelliccione

Proceedings of the International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2022

Comparing and Combining File-based Selection and Similarity-based Prioritization towards Regression Test Orchestration.

Renan Greca, Breno Miranda, Milos Gligoric, Antonia Bertolino

Proceedings of the IEEE/ACM International Conference on Automation of Software Test, 2022

Testing non-testable programs using association rules.

Antonia Bertolino, Emilio Cruciani, Breno Miranda, Roberto Verdecchia

Proceedings of the IEEE/ACM International Conference on Automation of Software Test, 2022

2021

Adaptive Test Case Allocation, Selection and Generation Using Coverage Spectrum and Operational Profile.

Antonia Bertolino, Breno Miranda, Roberto Pietrantuono, Stefano Russo

IEEE Trans. Software Eng., 2021

Know You Neighbor: Fast Static Prediction of Test Flakiness.

Roberto Verdecchia, Emilio Cruciani, Breno Miranda, Antonia Bertolino

IEEE Access, 2021

What We Talk About When We Talk About Software Test Flakiness.

Morena Barboni, Antonia Bertolino, Guglielmo De Angelis

Proceedings of the Quality of Information and Communications Technology, 2021

2020

Testing Relative to Usage Scope: Revisiting Software Coverage Criteria.

Breno Miranda, Antonia Bertolino

ACM Trans. Softw. Eng. Methodol., 2020

Advances in test automation for software with special focus on artificial intelligence and machine learning.

J. Jenny Li, Andreas Ulrich, Xiaoying Bai, Antonia Bertolino

Softw. Qual. J., 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

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

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

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

Process-oriented knowledge management and learning in public administrations.

Antonia Bertolino, Guglielmo De Angelis, Andrea Polini, Barbara Re, Andrea Sergiacomi

Electron. Gov. an Int. J., 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

Proceedings of the 15th IEEE International Conference of System of Systems Engineering, 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

Proceedings of the 20th IEEE International Conference on Software Quality, 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

Proceedings of the MSR '20: 17th International Conference on Mining Software Repositories, 2020

What is the Vocabulary of Flaky Tests?

Gustavo Pinto, Breno Miranda, Supun Dissanayake, Marcelo d'Amorim, Christoph Treude, Antonia Bertolino

Proceedings of the MSR '20: 17th International Conference on Mining Software Repositories, 2020

Standing on the Shoulders of Software Product Line Research for Testing Systems of Systems.

Antonia Bertolino, Francesca Lonetti, Vânia de Oliveira Neves

Proceedings of the 2020 IEEE International Symposium on Software Reliability Engineering Workshops, 2020

Run Java Applications and Test Them In-Vivo Meantime.

Antonia Bertolino, Guglielmo De Angelis, Breno Miranda, Paolo Tonella

Proceedings of the 13th IEEE International Conference on Software Testing, 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

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

Defensive Programming for Smart Home Cybersecurity.

Maria Teresa Rossi, Renan Greca, Ludovico Iovino, Giorgio Giacinto, Antonia Bertolino

Proceedings of the IEEE European Symposium on Security and Privacy Workshops, 2020

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

Understanding and estimating quality of experience in WebRTC applications.

Boni García, Micael Gallego, Francisco Gortázar, Antonia Bertolino

Computing, 2019

Debugging Flaky Tests on Web Applications.

Jesús Morán, Cristian Augusto, Antonia Bertolino, Claudio de la Riva, Javier Tuya

Proceedings of the 15th International Conference on Web Information Systems and Technologies, 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

Proceedings of the Software Engineering for Resilient Systems, 2019

RETORCH: Resource-Aware End-to-End Test Orchestration.

Cristian Augusto, Jesús Morán, Antonia Bertolino, Claudio de la Riva, Javier Tuya

Proceedings of the Quality of Information and Communications Technology, 2019

Governing Regression Testing in Systems of Systems.

Antonia Bertolino, Guglielmo De Angelis, Francesca Lonetti

Proceedings of the IEEE International Symposium on Software Reliability Engineering Workshops, 2019

Towards continuous software reliability testing in DevOps.

Roberto Pietrantuono, Antonia Bertolino, Guglielmo De Angelis, Breno Miranda, Stefano Russo

Proceedings of the 14th International Workshop on Automation of Software Test, 2019

Security assessment of systems of systems.

Miguel Angel Olivero, Antonia Bertolino, Francisco José Domínguez Mayo, María José Escalona, Ilaria Matteucci

Proceedings of the 7th International Workshop on Software Engineering for Systems-of-Systems and 13th Workshop on Distributed Software Development, 2019

Scalable approaches for test suite reduction.

Emilio Cruciani, Breno Miranda, Roberto Verdecchia, Antonia Bertolino

Proceedings of the 41st International Conference on Software Engineering, 2019

Changing Software in a Changing World: How to Test in Presence of Variability, Adaptation and Evolution?

Antonia Bertolino, Paola Inverardi

Proceedings of the From Software Engineering to Formal Methods and Tools, and Back, 2019

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

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

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

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

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

Hybrid Is Better: Why and How Test Coverage and Software Reliability Can Benefit Each Other.

Antonia Bertolino, Breno Miranda, Roberto Pietrantuono, Stefano Russo

Proceedings of the Web Information Systems and Technologies, 2018

Coverage Testing and Reliability Improvement: A Marriage of Convenience?

Antonia Bertolino

Proceedings of the 14th International Conference on Web Information Systems and Technologies, 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

Proceedings of the 2018 IEEE/ACM International Conference on Utility and Cloud Computing Companion, 2018

CARS: Context Aware Reputation Systems to Evaluate Vehicles' Behaviour.

Gianpiero Costantino, Fabio Martinelli, Ilaria Matteucci, Antonia Bertolino, Antonello Calabrò, Eda Marchetti

Proceedings of the 26th Euromicro International Conference on Parallel, 2018

Do We Need New Strategies for Testing Systems-of-Systems?

Vânia de Oliveira Neves, Antonia Bertolino, Guglielmo De Angelis, Lina Garcés

Proceedings of the 6th IEEE/ACM International Workshop on Software Engineering for Systems-of-Systems, 2018

FAST approaches to scalable similarity-based test case prioritization.

Breno Miranda, Emilio Cruciani, Roberto Verdecchia, Antonia Bertolino

Proceedings of the 40th International Conference on Software Engineering, 2018

An automated model-based test oracle for access control systems.

Antonia Bertolino, Said Daoudagh, Francesca Lonetti, Eda Marchetti

Proceedings of the 13th International Workshop on Automation of Software Test, 2018

When the testing gets tough, the tough get ElasTest.

Antonia Bertolino, Antonello Calabrò, Guglielmo De Angelis, Micael Gallego, Boni García, Francisco Gortázar

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

2017

Scope-aided test prioritization, selection and minimization for software reuse.

Breno Miranda, Antonia Bertolino

J. Syst. Softw., 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, Juliano Iyoda

Proceedings of the Software Engineering and Formal Methods - 15th International Conference, 2017

Towards Ex Vivo Testing of MapReduce Applications.

Jesús Morán, Antonia Bertolino, Claudio de la Riva, Javier Tuya

Proceedings of the 2017 IEEE International Conference on Software Quality, 2017

Adaptive coverage and operational profile-based testing for reliability improvement.

Antonia Bertolino, Breno Miranda, Roberto Pietrantuono, Stefano Russo

Proceedings of the 39th International Conference on Software Engineering, 2017

What paper types are accepted at the international conference on software engineering?

Antonia Bertolino, Antonello Calabrò, Francesca Lonetti, Eda Marchetti, Breno Miranda

Proceedings of the 39th International Conference on Software Engineering, 2017

Online Robustness Testing of Distributed Embedded Systems: An Industrial Approach.

Khaled Alnawasreh, Patrizio Pelliccione, Zhenxiao Hao, Marten Range, Antonia Bertolino

Proceedings of the 39th IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice Track, 2017

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

Towards Business Process Execution Adequacy Criteria.

Antonia Bertolino, Antonello Calabrò, Francesca Lonetti, Eda Marchetti

Proceedings of the Software Quality. The Future of Systems- and Software Development, 2016

Testing access control policies against intended access rights.

Antonia Bertolino, Said Daoudagh, Francesca Lonetti, Eda Marchetti

Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

Monitoring of Learning Path for Business Process Models.

Venkatapathy Subramanian, Antonia Bertolino

Proceedings of the International Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn, 2016

Does code coverage provide a good stopping rule for operational profile based testing?

Breno Miranda, Antonia Bertolino

Proceedings of the 11th International Workshop on Automation of Software Test, 2016

A Model Driven Approach to Business Process-Based Learning.

Venkatapathy Subramanian, Antonia Bertolino

Proceedings of the Computers Supported Education - 8th International Conference, 2016

Learning Path Specification for Workplace Learning based on Business Process Management.

Venkatapathy Subramanian, Antonia Bertolino

Proceedings of the CSEDU 2016, 2016

2015

Software Engineering for Internet Computing: Internetware and Beyond [Guest editors' introduction].

Antonia Bertolino, M. Brian Blake, Pankaj Mehra, Hong Mei, Tao Xie

IEEE Softw., 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

Learn PAd : Collaborative and Model-based Learning in Public Administrations.

Antonia Bertolino, Guglielmo De Angelis, Andrea Polini, Darius Silingas

Proceedings of the Projects Showcase, 2015

Improving Test Coverage Measurement for Reused Software.

Breno Miranda, Antonia Bertolino

Proceedings of the 41st Euromicro Conference on Software Engineering and Advanced Applications, 2015

2014

Validation of Access Control Systems.

Antonia Bertolino, Yves Le Traon, Francesca Lonetti, Eda Marchetti, Tejeddine Mouelhi

Proceedings of the Engineering Secure Future Internet Services and Systems, 2014

A Toolchain for Designing and Testing Access Control Policies.

Antonia Bertolino, Marianne Busch, Said Daoudagh, Francesca Lonetti, Eda Marchetti

Proceedings of the Engineering Secure Future Internet Services and Systems, 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

Testing of PolPA-based usage control systems.

Antonia Bertolino, Said Daoudagh, Francesca Lonetti, Eda Marchetti, Fabio Martinelli, Paolo Mori

Softw. Qual. J., 2014

An Extensible Framework for Online Testing of Choreographed Services.

Midhat Ali, Francesco De Angelis, Daniele Fanì, Antonia Bertolino, Guglielmo De Angelis, Andrea Polini

Computer, 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

Proceedings of the Requirements Engineering: Foundation for Software Quality, 2014

An Automated Testing Framework of Model-Driven Tools for XACML Policy Specification.

Antonia Bertolino, Said Daoudagh, Francesca Lonetti, Eda Marchetti

Proceedings of the 9th International Conference on the Quality of Information and Communications Technology, 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

Proceedings of the MODELSWARD 2014 - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development, Lisbon, Portugal, 7, 2014

Coverage-Based Test Cases Selection for XACML Policies.

Antonia Bertolino, Yves Le Traon, Francesca Lonetti, Eda Marchetti, Tejeddine Mouelhi

Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

Social coverage for customized test adequacy and selection criteria.

Breno Miranda, Antonia Bertolino

Proceedings of the 9th International Workshop on Automation of Software Test, 2014

2013

Special section on automation of software test.

Antonia Bertolino, Howard Foster, J. Jenny Li, Hong Zhu

J. Syst. Softw., 2013

Guest Editorial for Special Section from Component-based Software Engineering (CBSE) 2011.

Antonia Bertolino, Kendra M. L. Cooper

Inf. Softw. Technol., 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

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

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

Software architecture-based analysis and testing: a look into achievements and future challenges.

Antonia Bertolino, Paola Inverardi, Henry Muccini

Computing, 2013

Adequate monitoring of service compositions.

Antonia Bertolino, Eda Marchetti, Andrea Morichetta

Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

Apprehensive QoS monitoring of Service choreographies.

Cesare Bartolini, Antonia Bertolino, Guglielmo De Angelis, Andrea Ciancone, Raffaela Mirandola

Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

Adaptive SLA monitoring of service choreographies enacted on the Cloud.

Antonia Bertolino, Antonello Calabrò, Guglielmo De Angelis

Proceedings of the 7th IEEE International Symposium on the Maintenance and Evolution of Service-Oriented and Cloud-Based Systems, 2013

A Generative Approach for the Adaptive Monitoring of SLA in Service Choreographies.

Antonia Bertolino, Antonello Calabrò, Guglielmo De Angelis

Proceedings of the Web Engineering - 13th International Conference, 2013

XACMUT: XACML 2.0 Mutants Generator.

Antonia Bertolino, Said Daoudagh, Francesca Lonetti, Eda Marchetti

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

A Toolchain for Designing and Testing XACML Policies.

Antonia Bertolino, Marianne Busch, Said Daoudagh, Nora Koch, Francesca Lonetti, Eda Marchetti

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

2012

Verification and Analysis of Autonomic Systems for Networked Enterprises.

Antonia Bertolino, Guglielmo De Angelis, Felicita Di Giandomenico, Eda Marchetti, Antonino Sabetta, Paola Spoletini

Proceedings of the Methodologies and Technologies for Networked Enterprises, 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

Enhancing Service Federation Trustworthiness through Online Testing.

Antonia Bertolino, Guglielmo De Angelis, Sampo Kellomaki, Andrea Polini

Computer, 2012

The X-CREATE Framework - A Comparison of XACML Policy Testing Strategies.

Antonia Bertolino, Said Daoudagh, Francesca Lonetti, Eda Marchetti

Proceedings of the WEBIST 2012 - Proceedings of the 8th International Conference on Web Information Systems and Technologies, Porto, Portugal, 18, 2012

Governance Policies for Verification and Validation of Service Choreographies.

Antonia Bertolino, Guglielmo De Angelis, Andrea Polini

Proceedings of the Web Information Systems and Technologies - 8th International Conference, 2012

Quality Requirements for Service Choreographies.

Cesare Bartolini, Antonia Bertolino, Andrea Ciancone, Guglielmo De Angelis, Raffaela Mirandola

Proceedings of the WEBIST 2012 - Proceedings of the 8th International Conference on Web Information Systems and Technologies, Porto, Portugal, 18, 2012

Validation and Verification Policies for Governance of Service Choreographies.

Guglielmo De Angelis, Antonia Bertolino, Andrea Polini

Proceedings of the WEBIST 2012 - Proceedings of the 8th International Conference on Web Information Systems and Technologies, Porto, Portugal, 18, 2012

Monitoring Service Choreographies from Multiple Sources.

Amira Ben Hamida, Antonia Bertolino, Antonello Calabrò, Guglielmo De Angelis, Nelson Lago, Julien Lesbegueries

Proceedings of the Software Engineering for Resilient Systems - 4th International Workshop, 2012

Complex Events Specification for Properties Validation.

Antonia Bertolino, Antinisca Di Marco, Francesca Lonetti

Proceedings of the 8th International Conference on the Quality of Information and Communications Technology, 2012

Automatic XACML Requests Generation for Policy Testing.

Antonia Bertolino, Said Daoudagh, Francesca Lonetti, Eda Marchetti

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

Testing of PolPA authorization systems.

Antonia Bertolino, Said Daoudagh, Francesca Lonetti, Eda Marchetti, Fabio Martinelli, Paolo Mori

Proceedings of the 7th International Workshop on Automation of Software Test, 2012

Non-functional analysis of service choreographies.

Cesare Bartolini, Antonia Bertolino, Guglielmo De Angelis, Andrea Ciancone, Raffaela Mirandola

Proceedings of the 4th International ICSE Workshop on Principles of Engineering Service-Oriented Systems, 2012

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

Proceedings of the Future Internet, 2012

2011

Is my model right? Let me ask the expert.

Antonia Bertolino, Guglielmo De Angelis, Alessio Di Sandro, Antonino Sabetta

J. Syst. Softw., 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

(role)CAST: A Framework for On-line Service Testing.

Antonia Bertolino, Guglielmo De Angelis, Andrea Polini

Proceedings of the WEBIST 2011, 2011

An automated approach to robustness testing of BPEL orchestrations.

Sylvia Ilieva, Denitsa Manova, Ilina Manova, Cesare Bartolini, Antonia Bertolino, Francesca Lonetti

Proceedings of the IEEE 6th International Symposium on Service Oriented System Engineering, 2011

More testable service compositions by test metadata.

Marcelo Medeiros Eler, Antonia Bertolino, Paulo César Masiero

Proceedings of the IEEE 6th International Symposium on Service Oriented System Engineering, 2011

Dependability and Performance Assessment of Dynamic CONNECTed Systems.

Antonia Bertolino, Antonello Calabrò, Felicita Di Giandomenico, Nicola Nostro

Proceedings of the Formal Methods for Eternal Networked Software Systems, 2011

Towards a Model-Driven Infrastructure for Runtime Monitoring.

Antonia Bertolino, Antonello Calabrò, Francesca Lonetti, Antinisca Di Marco, Antonino Sabetta

Proceedings of the Software Engineering for Resilient Systems, 2011

Automated Refinement of Dependability Analysis through Monitoring in Dynamically Connected Systems.

Antonia Bertolino, Antonello Calabrò, Felicita Di Giandomenico, Marco Martinucci, Paolo Masci

Proceedings of the 10th International Symposium on Autonomous Decentralized Systems, 2011

On-the-Fly Dependable Mediation between Heterogeneous Networked Systems.

Antonia Bertolino, Antonello Calabrò, Felicita Di Giandomenico, Nicola Nostro, Paola Inverardi, Romina Spalazzese

Proceedings of the Software and Data Technologies - 6th International Conference, 2011

Towards Ensuring Eternal Connectability.

Antonia Bertolino

Proceedings of the ICSOFT 2011, 2011

Sixth international workshop on automation of software test: (AST 2011).

Howard Foster, Antonia Bertolino, J. Jenny Li

Proceedings of the 33rd International Conference on Software Engineering, 2011

GLIMPSE: a generic and flexible monitoring infrastructure.

Antonia Bertolino, Antonello Calabrò, Francesca Lonetti, Antonino Sabetta

Proceedings of the 13th European Workshop on Dependable Computing, 2011

Yet another meta-model to specify non-functional properties.

Antinisca Di Marco, Claudio Pompilio, Antonia Bertolino, Antonello Calabrò, Francesca Lonetti, Antonino Sabetta

Proceedings of the International Workshop on Quality Assurance for Service-Based Applications, 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

Proceedings of the 24th IEEE-CS Conference on Software Engineering Education and Training, 2011

Towards automated robustness testing of BPEL orchestrators.

Denitsa Manova, Sylvia Ilieva, Francesca Lonetti, Antonia Bertolino, Cesare Bartolini

Proceedings of the 12th International Conference on Computer Systems and Technologies, 2011

2010

Dependability in dynamic, evolving and heterogeneous systems: the connect approach.

Antonia Bertolino, Antinisca Di Marco, Fabio Martinelli, Valérie Issarny, Rachid Saadi

Proceedings of the 2nd International Workshop on Software Engineering for Resilient Systems, 2010

Quality in ICT Verification and Validation.

Antonia Bertolino

Proceedings of the Quality of Information and Communications Technology, 2010

Metrics for QoS analysis in dynamic, evolving and heterogeneous connected systems.

Antinisca Di Marco, Antonia Bertolino, Felicita Di Giandomenico, Paolo Masci, Antonino Sabetta

Proceedings of the International Workshop on Dynamic Analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2010), 2010

On-the-Fly Interoperability through Automated Mediator Synthesis and Monitoring.

Antonia Bertolino, Paola Inverardi, Valérie Issarny, Antonino Sabetta, Romina Spalazzese

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

Systematic XACML Request Generation for Testing Purposes.

Antonia Bertolino, Francesca Lonetti, Eda Marchetti

Proceedings of the 36th EUROMICRO Conference on Software Engineering and Advanced Applications, 2010

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

Proceedings of the Practical Software Testing: Tool Automation and Human Factors, 14.03., 2010

2009

Automatic synthesis of behavior protocols for composable web-services.

Antonia Bertolino, Paola Inverardi, Patrizio Pelliccione, Massimo Tivoli

Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009

Approaches to testing service-oriented software systems.

Antonia Bertolino

Proceedings of the 1st international workshop on Quality of service-oriented software systems, 2009

Whitening SOA testing.

Cesare Bartolini, Antonia Bertolino, Sebastian G. Elbaum, Eda Marchetti

Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009

SOA Test Governance: Enabling Service Integration Testing across Organization and Technology Borders.

Antonia Bertolino, Andrea Polini

Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009

WS-TAXI: A WSDL-based Testing Tool for Web Services.

Cesare Bartolini, Antonia Bertolino, Eda Marchetti, Andrea Polini

Proceedings of the Second International Conference on Software Testing Verification and Validation, 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

Proceedings of the 31st International Conference on Software Engineering, 2009

On-line validation of service oriented systems in the European Project TAS3.

Antonia Bertolino, Guglielmo De Angelis, Andrea Polini

Proceedings of the International ICSE Workshop on Principles of Engineering Service-Oriented Systems, 2009

CONNECT Challenges: Towards Emergent Connectors for Eternal Networked Systems.

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

Proceedings of the 14th IEEE International Conference on Engineering of Complex Computer Systems, 2009

2008

Let The Puppets Move! Automated Testbed Generation for Service-oriented Mobile Applications.

Antonia Bertolino, Guglielmo De Angelis, Francesca Lonetti, Antonino Sabetta

Proceedings of the 34th Euromicro Conference on Software Engineering and Advanced Applications, 2008

Model-Based Generation of Testbeds for Web Services.

Antonia Bertolino, Guglielmo De Angelis, Lars Frantzen, Andrea Polini

Proceedings of the Testing of Software and Communicating Systems, 2008

Software Testing Forever: Old and New Processes and Techniques for Validating Today's Applications.

Antonia Bertolino

Proceedings of the Product-Focused Software Process Improvement, 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

Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering, 2008

VCR: Virtual Capture and Replay for Performance Testing.

Antonia Bertolino, Guglielmo De Angelis, Antonino Sabetta

Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008

Introducing service-oriented coverage testing.

Cesare Bartolini, Antonia Bertolino, Eda Marchetti

Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering, 2008

The PLASTIC Framework and Tools for Testing Service-Oriented Applications.

Antonia Bertolino, Guglielmo De Angelis, Lars Frantzen, Andrea Polini

Proceedings of the Software Engineering, International Summer Schools, 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

Proceedings of the Leveraging Applications of Formal Methods, 2008

Towards Automated WSDL-Based Testing of Web Services.

Cesare Bartolini, Antonia Bertolino, Eda Marchetti, Andrea Polini

Proceedings of the Service-Oriented Computing, 2008

Weighting Influence of User Behavior in Software Validation.

Antonia Bertolino, Emanuela Gadelha Cartaxo, Patrícia D. L. Machado, Eda Marchetti

Proceedings of the 19th International Workshop on Database and Expert Systems Applications (DEXA 2008), 2008

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

Performance measures for supporting project manager decisions.

Antonia Bertolino, Eda Marchetti, Raffaela Mirandola

Softw. Process. Improv. Pract., 2007

Automatic generation of test-beds for pre-deployment QoS evaluation of web services.

Antonia Bertolino, Guglielmo De Angelis, Andrea Polini

Proceedings of the 6th International Workshop on Software and Performance, 2007

XModel-Based Testing of XSLT Applications.

Antonia Bertolino, Jinghua Gao, Eda Marchetti, Andrea Polini

Proceedings of the WEBIST 2007, 2007

Profiling and testing within domains to facilitate document exchangeability.

Eda Marchetti, Antonia Bertolino

Proceedings of the 2007 Workshop on Domain Specific Approaches to Software Test Automation, 2007

Welcome to the WISE track.

Antonia Bertolino, Henry Muccini

Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007

Scaling up SLA monitoring in pervasive environments.

Antonia Bertolino, Guglielmo De Angelis, Antonino Sabetta, Sebastian G. Elbaum

Proceedings of the 2007 International Workshop on Engineering of Software Services for Pervasive Environments, 2007

A QoS Test-Bed Generator for Web Services.

Antonia Bertolino, Guglielmo De Angelis, Andrea Polini

Proceedings of the Web Engineering, 7th International Conference, 2007

Automatic Test Data Generation for XML Schema-based Partition Testing.

Antonia Bertolino, Jinghua Gao, Eda Marchetti, Andrea Polini

Proceedings of the Second International Workshop on Automation of Software Test, 2007

TAXI - A Tool for XML-Based Testing.

Antonia Bertolino, Jinghua Gao, Eda Marchetti, Andrea Polini

Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

Software Testing Research: Achievements, Challenges, Dreams.

Antonia Bertolino

Proceedings of the International Conference on Software Engineering, 2007

Data Flow-Based Validation of Web Services Compositions: Perspectives and Examples.

Cesare Bartolini, Antonia Bertolino, Eda Marchetti, Ioannis Parissis

Proceedings of the Architecting Dependable Systems V [the book is a result from the WADS 2007 and the Third Workshop on the Role of Software Architecture for Testing and Analysis], 2007

Monitoring Architectural Properties in Dynamic Component-Based Systems.

Henry Muccini, Andrea Polini, Fabiano Ricci, Antonia Bertolino

Proceedings of the Component-Based Software Engineering, 10th International Symposium, 2007

2006

Software Testing and Industry Needs.

Robert L. Glass, Ross Collard, Antonia Bertolino, James Bach, Cem Kaner

IEEE Softw., 2006

XML Every-Flavor Testing.

Antonia Bertolino, Jinghua Gao, Eda Marchetti

Proceedings of the WEBIST 2006, 2006

Product Line Use Cases: Scenario-Based Specification and Testing of Requirements.

Antonia Bertolino, Alessandro Fantechi, Stefania Gnesi, Giuseppe Lami

Proceedings of the Software Product Lines - Research Issues in Engineering and Management, 2006

Architectural Verification of Black-Box Component-Based Systems.

Antonia Bertolino, Henry Muccini, Andrea Polini

Proceedings of the Rapid Integration of Software Engineering Techniques, 2006

Systematic Generation of XML Instances to Test Complex Software Applications.

Antonia Bertolino, Jinghua Gao, Eda Marchetti, Andrea Polini

Proceedings of the Rapid Integration of Software Engineering Techniques, 2006

Modeling and Early Performance Estimation for Network Processor Applications.

Antonia Bertolino, Alvise Bonivento, Guglielmo De Angelis, Alberto L. Sangiovanni-Vincentelli

Proceedings of the Model Driven Engineering Languages and Systems, 2006

A UML Profile and a Methodology for Real-Time Systems Design.

Cesare Bartolini, Antonia Bertolino, Guglielmo De Angelis, Giuseppe Lipari

Proceedings of the 32nd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO-SEAA 2006), August 29, 2006

2005

An Architecture-Centric Approach for Producing Quality Systems.

Antonia Bertolino, Antonio Bucchiarone, Stefania Gnesi, Henry Muccini

Proceedings of the Quality of Software Architectures and Software Quality, 2005

The Audition Framework for Testing Web Services Interoperability.

Antonia Bertolino, Andrea Polini

Proceedings of the 31st EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO-SEAA 2005), 30 August, 2005

UML-based Design of Network Processors Applications.

Antonia Bertolino, Guglielmo De Angelis, Raffaela Mirandola

Proceedings of the 31st EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO-SEAA 2005), 30 August, 2005

2004

Using Software Architecture for Code Testing.

Henry Muccini, Antonia Bertolino, Paola Inverardi

IEEE Trans. Software Eng., 2004

The (Im)maturity level of software testing.

Antonia Bertolino

ACM SIGSOFT Softw. Eng. Notes, 2004

Introducing a Reasonably Complete and Coherent Approach for Model-based Testing.

Antonia Bertolino, Eda Marchetti, Henry Muccini

Proceedings of the International Workshop on Test and Analysis of Component Based Systems, 2004

Software performance engineering of component-based systems.

Antonia Bertolino, Raffaela Mirandola

Proceedings of the Fourth International Workshop on Software and Performance, 2004

A Model Based Approach to Design Applications for Network Processor.

Sharareh Afsharian, Antonia Bertolino, Guglielmo De Angelis, Paola Iovanna, Raffaela Mirandola

Proceedings of the Rapid Integration of Software Engineering Techniques, 2004

Audition of Web Services for Testing Conformance to Open Specified Protocols.

Antonia Bertolino, Lars Frantzen, Andrea Polini, Jan Tretmans

Proceedings of the Architecting Systems with Trustworthy Components, 2004

CB-SPE Tool: Putting Component-Based Performance Engineering into Practice.

Antonia Bertolino, Raffaela Mirandola

Proceedings of the Component-Based Software Engineering, 7th International Symposium, 2004

2003

Using Spanning Sets for Coverage Testing.

Martina Marré, Antonia Bertolino

IEEE Trans. Software Eng., 2003

Integration of "Components" to Test Software Components.

Antonia Bertolino, Eda Marchetti, Andrea Polini

Proceedings of the International Workshop on Test and Analysis of Component-Based Systems, 2003

Modeling and Analysis of Non-functional Properties in Component-based Systems.

Antonia Bertolino, Raffaela Mirandola

Proceedings of the International Workshop on Test and Analysis of Component-Based Systems, 2003

Use case-based testing of product lines.

Antonia Bertolino, Stefania Gnesi

Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, 2003

Formal Methods in Testing Software Architectures.

Antonia Bertolino, Paola Inverardi, Henry Muccini

Proceedings of the Formal Methods for Software Architectures, 2003

PLUTO: A Test Methodology for Product Families.

Antonia Bertolino, Stefania Gnesi

Proceedings of the Software Product-Family Engineering, 5th International Workshop, 2003

A Framework for Component Deployment Testing.

Antonia Bertolino, Andrea Polini

Proceedings of the 25th International Conference on Software Engineering, 2003

Software Testing Research and Practice.

Antonia Bertolino

Proceedings of the Abstract State Machines, 2003

2002

Guest Editors' Introduction: 2000 International Symposium on Software Testing and Analysis.

Mary Jean Harrold, Antonia Bertolino

IEEE Trans. Software Eng., 2002

Preventing untestedness in data-flow based testing.

István Forgács, Antonia Bertolino

Softw. Test. Verification Reliab., 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

Real-tiem UML-based performance engineering to aid manager's decisions in multi-project planning.

Antonia Bertolino, Eda Marchetti, Raffaela Mirandola

Proceedings of the Third International Workshop on Software and Performance, 2002

The Cow_Suite Approach to Planning and Deriving Test Suites in UML Projects.

Francesca Basanieri, Antonia Bertolino, Eda Marchetti

Proceedings of the UML 2002 - The Unified Modeling Language, 5th International Conference, Dresden, Germany, September 30, 2002

ISSTA 2002 panel: is ISSTA research relevant to industrial users?

Antonia Bertolino

Proceedings of the International Symposium on Software Testing and Analysis, 2002

WCT: A Wrapper for Component Testing.

Antonia Bertolino, Andrea Polini

Proceedings of the Scientific Engineering for Distributed Java Applications, 2002

2001

An Explorative Journey from Architectural Tests Definition downto Code Tests Execution.

Antonia Bertolino, Paola Inverardi, Henry Muccini

Proceedings of the 23rd International Conference on Software Engineering, 2001

2000

An overview of the ICSE 2000 workshop program.

Antonia Bertolino, Gail C. Murphy

Proceedings of the 22nd International Conference on on Software Engineering, 2000

Deriving test plans from architectural descriptions.

Antonia Bertolino, Flavio Corradini, Paola Inverardi, Henry Muccini

Proceedings of the 22nd International Conference on on Software Engineering, 2000

1999

Towards Statistical Control of an Industrial Test Process.

Gaetano Lombardi, Emilia Peciola, Raffaela Mirandola, Antonia Bertolino, Eda Marchetti

Proceedings of the Computer Safety, 1999

1998

Assessing the Risk due to Software Faults: Estimates of Failure Rate versus Evidence of Perfection.

Antonia Bertolino, Lorenzo Strigini

Softw. Test. Verification Reliab., 1998

1997

A case study in branch testing automation.

Antonia Bertolino, Raffaela Mirandola, Emilia Peciola

J. Syst. Softw., 1997

An approach to integration testing based on architectural descriptions.

Antonia Bertolino, Paola Inverardi, Henry Muccini, Andrea Rosetti

Proceedings of the 3rd IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '97), 1997

Feasible Test Path Selection by Principal Slicing.

István Forgács, Antonia Bertolino

Proceedings of the Software Engineering, 1997

1996

On the Use of Testability Measures for Dependability Assessment.

Antonia Bertolino, Lorenzo Strigini

IEEE Trans. Software Eng., 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

How Many Paths are Needed for Branch Testing?

Antonia Bertolino, Martina Marré

J. Syst. Softw., 1996

Architecture-based software testing.

Antonia Bertolino, Paola Inverardi

Proceedings of the Joint Proceedings of the Second International Software Architecture Workshop (ISAW-2) and International Workshop on Multiple Perspectives in Software Development (Viewpoints '96) on SIGSOFT '96 workshops, 1996

Acceptance Criteria for Critical Software Based on Testability Estimates and Test Results.

Antonia Bertolino, Lorenzo Strigini

Proceedings of the 15th International Conference on Computer Safety, 1996

Unconstrained Duals and Their Use in Achieving All-Uses Coverage.

Martina Marré, Antonia Bertolino

Proceedings of the 1996 International Symposium on Software Testing and Analysis, 1996

Reducing and Estimating the Cost of Test Coverage Criteria.

Martina Marré, Antonia Bertolino

Proceedings of the 18th International Conference on Software Engineering, 1996

1995

Software Testing for Dependability Assessment.

Antonia Bertolino

Proceedings of the Objective Software Quality: Second Symposium on Software Quality Techniques and Acquisition Criteria, 1995

Using Testability Measures for Dependability Assessment.

Antonia Bertolino, Lorenzo Strigini

Proceedings of the 17th International Conference on Software Engineering, 1995

1994

Automatic Generation of Path Covers Based on the Control Flow Analysis of Computer Programs.

Antonia Bertolino, Martina Marré

IEEE Trans. Software Eng., 1994

Guest editor's corner achieving quality in software.

Antonia Bertolino

J. Syst. Softw., 1994

A Meaningful Bound for Branch Testing (Abstract).

Antonia Bertolino, Martina Marré

Proceedings of the 1994 International Symposium on Software Testing and Analysis, 1994

1993

Unconstrained edges and their application to branch analysis and testing of programs.

Antonia Bertolino

J. Syst. Softw., 1993

Deriving path expressions recursively.

Antonia Bertolino, Martina Marré

Proceedings of the IEEE Second Workshop on Program Comprehension, 1993

1991

An overview of automated software testing.

Antonia Bertolino

J. Syst. Softw., 1991

1988

An Approach to Efficient Distributed Transactions.

Paolo Ancilotti, Antonia Bertolino, Mario Fusani

Distributed Comput., 1988