Search

Your search keyword '"Bertolino, Antonia"' showing total 593 results
Start Over Author "Bertolino, Antonia"

Refine your results

more »

more »

more »

more »
593 results on '"Bertolino, Antonia"'

1. Cross-coverage testing of functionally equivalent programs

Author

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

Subjects
Computer Science - Software Engineering
Abstract

Cross-coverage of a program P refers to the test coverage measured over a different program Q that is functionally equivalent to P. The novel concept of cross-coverage can find useful applications in the test of redundant software. We apply here cross-coverage for test suite augmentation and show that additional test cases generated from the coverage of an equivalent program, referred to as cross tests, can increase the coverage of a program in more effective way than a random baseline. We also observe that -contrary to traditional coverage testing-cross coverage could help finding (artificially created) missing functionality faults., Comment: 12 pages

Published
2023

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

Author

Bertolino, Antonia, Daoudagh, Said, Lonetti, Francesca, and Marchetti, Eda

Subjects
Computer Science - Software Engineering
Abstract

In the context of XACML-based access control systems, an intensive testing activity is among the most adopted means to assure that sensible information or resources are correctly accessed. Unfortunately, it requires a huge effort for manual inspection of results: thus automated verdict derivation is a key aspect for improving the cost-effectiveness of testing. To this purpose, we introduce XACMET, a novel approach for automated model-based oracle definition. XACMET defines a typed graph, called the XAC-Graph, that models the XACML policy evaluation. The expected verdict of a specific request execution can thus be automatically derived by executing the corresponding path in such graph. Our validation of the XACMET prototype implementation confirms the effectiveness of the proposed approach., Comment: 7 pages

Published
2018
Full Text
View/download PDF

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

Author

Barboni, Morena, Bertolino, Antonia, De Angelis, Guglielmo, Filipe, Joaquim, Editorial Board Member, Ghosh, Ashish, Editorial Board Member, Prates, Raquel Oliveira, Editorial Board Member, Zhou, Lizhu, Editorial Board Member, Paiva, Ana C. R., editor, Cavalli, Ana Rosa, editor, Ventura Martins, Paula, editor, and Pérez-Castillo, Ricardo, editor

Published
2021
Full Text
View/download PDF

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

Author

Bertolino, Antonia, Miranda, Breno, Pietrantuono, Roberto, Russo, Stefano, van der Aalst, Wil, Series Editor, Mylopoulos, John, Series Editor, Rosemann, Michael, Series Editor, Shaw, Michael J., Series Editor, Szyperski, Clemens, Series Editor, Escalona, María José, editor, Domínguez Mayo, Francisco, editor, Majchrzak, Tim A., editor, and Monfort, Valérie, editor

Published
2019
Full Text
View/download PDF

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

Author

Augusto, Cristian, Morán, Jesús, Bertolino, Antonia, de la Riva, Claudio, Tuya, Javier, Barbosa, Simone Diniz Junqueira, Editorial Board Member, Filipe, Joaquim, Editorial Board Member, Ghosh, Ashish, Editorial Board Member, Kotenko, Igor, Editorial Board Member, Yuan, Junsong, Editorial Board Member, Zhou, Lizhu, Editorial Board Member, Piattini, Mario, editor, Rupino da Cunha, Paulo, editor, García Rodríguez de Guzmán, Ignacio, editor, and Pérez-Castillo, Ricardo, editor

Published
2019
Full Text
View/download PDF

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

Author

Bertolino, Antonia, Inverardi, Paola, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, ter Beek, Maurice H., editor, Fantechi, Alessandro, editor, and Semini, Laura, editor

Published
2019
Full Text
View/download PDF

16. Addressing Security Properties in Systems of Systems: Challenges and Ideas

Author

Olivero, Miguel Angel, Bertolino, Antonia, Dominguez-Mayo, Francisco José, Escalona, María José, Matteucci, Ilaria, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Calinescu, Radu, editor, and Di Giandomenico, Felicita, editor

Published
2019
Full Text
View/download PDF

21. A Model Driven Approach to Business Process-Based Learning

Author

Subramanian, Venkatapathy, Bertolino, Antonia, Diniz Junqueira Barbosa, Simone, Series editor, Chen, Phoebe, Series editor, Du, Xiaoyong, Series editor, Filipe, Joaquim, Series editor, Kotenko, Igor, Series editor, Liu, Ting, Series editor, Sivalingam, Krishna M., Series editor, Washio, Takashi, Series editor, Costagliola, Gennaro, editor, Uhomoibhi, James, editor, Zvacek, Susan, editor, and McLaren, Bruce M., editor

Published
2017
Full Text
View/download PDF

22. Towards Automated Deployment of Self-adaptive Applications on Hybrid Clouds (Short Paper)

Author

Hillah, Lom Messan, Assad, Rodrigo, Bertolino, Antonia, Delamaro, Marcio, De Rosa, Fabio, Garcia, Vinicius, Lonetti, Francesca, Maesano, Ariele-Paolo, Maesano, Libero, Marchetti, Eda, Miranda, Breno, Vincenzi, Auri, Iyoda, Juliano, Hutchison, David, Series Editor, Kanade, Takeo, Series Editor, Kittler, Josef, Series Editor, Kleinberg, Jon M., Series Editor, Mattern, Friedemann, Series Editor, Mitchell, John C., Series Editor, Naor, Moni, Series Editor, Pandu Rangan, C., Series Editor, Steffen, Bernhard, Series Editor, Terzopoulos, Demetri, Series Editor, Tygar, Doug, Series Editor, Weikum, Gerhard, Series Editor, Cimatti, Alessandro, editor, and Sirjani, Marjan, editor

Published
2017
Full Text
View/download PDF

26. Self-Adaptive Testing in the Field.

Author

Silva, Samira, Pelliccione, Patrizio, and Bertolino, Antonia

Subjects
ADAPTIVE testing, DIGITAL technology, COMPUTER software testing
Abstract

We are increasingly surrounded by systems connecting us with the digital world and facilitating our life by supporting our work, leisure, activities at home, health, and so on. These systems are pressed by two forces. On the one side, they operate in environments that are increasingly challenging due to uncertainty and uncontrollability. On the other side, they need to evolve, often in a continuous fashion, to meet changing needs, to offer new functionalities, or also to fix emerging failures. To make the picture even more complex, these systems rarely work in isolation and often need to collaborate with other systems, as well as humans. All such facets call for moving their validation during operation, as offered by approaches called testing in the field. In this article, we observe that even the field-based testing approaches should change over time to follow and adapt to the changes and evolution of collaborating systems or environments or users' behaviors. We provide a taxonomy of this new category of testing that we call self-adaptive testing in the field (SATF), together with a reference architecture for SATF approaches. To achieve this objective, we surveyed the literature and collected feedback and contributions from experts in the domain via a questionnaire and interviews. [ABSTRACT FROM AUTHOR]

Published
2024
Full Text
View/download PDF

27. Towards Business Process Execution Adequacy Criteria

Author

Bertolino, Antonia, Calabró, Antonello, Lonetti, Francesca, Marchetti, Eda, van der Aalst, Wil M.P., Series editor, Mylopoulos, John, Series editor, Rosemann, Michael, Series editor, Shaw, Michael J., Series editor, Szyperski, Clemens, Series editor, Winkler, Dietmar, editor, Biffl, Stefan, editor, and Bergsmann, Johannes, editor

Published
2016
Full Text
View/download PDF

34. In vivo test and rollback of Java applications as they are.

Author

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

Subjects
IN vivo studies, SYSTEMS software, EXERCISE tests, EMPIRICAL research
Abstract

Summary: Modern software systems accommodate complex configurations and execution conditions that depend on the environment where the software is run. While in house testing can exercise only a fraction of such execution contexts, in vivo testing can take advantage of the execution state observed in the field to conduct further testing activities. In this paper, we present the Groucho approach to in vivo testing. Groucho can suspend the execution, run some in vivo tests, rollback the side effects introduced by such tests, and eventually resume normal execution. The approach can be transparently applied to the original application, even if only available as compiled code, and it is fully automated. Our empirical studies of the performance overhead introduced by Groucho under various configurations showed that this may be kept to a negligible level by activating in vivo testing with low probability. Our empirical studies about the effectiveness of the approach confirm previous findings on the existence of faults that are unlikely exposed in house and become easy to expose in the field. Moreover, we include the first study to quantify the coverage increase gained when in vivo testing is added to complement in house testing. [ABSTRACT FROM AUTHOR]

Published
2023
Full Text
View/download PDF

36. A Toolchain for Designing and Testing Access Control Policies

Author

Bertolino, Antonia, Busch, Marianne, Daoudagh, Said, Lonetti, Francesca, Marchetti, Eda, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Kobsa, Alfred, editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Weikum, Gerhard, editor, Heisel, Maritta, editor, Joosen, Wouter, editor, Lopez, Javier, editor, and Martinelli, Fabio, editor

Published
2014
Full Text
View/download PDF

37. Validation of Access Control Systems

Author

Bertolino, Antonia, Le, Traon Yves, Lonetti, Francesca, Marchetti, Eda, Mouelhi, Tejeddine, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Kobsa, Alfred, editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Weikum, Gerhard, editor, Heisel, Maritta, editor, Joosen, Wouter, editor, Lopez, Javier, editor, and Martinelli, Fabio, editor

Published
2014
Full Text
View/download PDF

38. A Requirements-Led Approach for Specifying QoS-Aware Service Choreographies: An Experience Report

Author

Maiden, Neil, Lockerbie, James, Zachos, Konstantinos, Bertolino, Antonia, De Angelis, Guglielmo, Lonetti, Francesca, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Salinesi, Camille, editor, and van de Weerd, Inge, editor

Published
2014
Full Text
View/download PDF

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

Author

Bertolino, Antonia, Calabrò, Antonello, De Angelis, Guglielmo, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Daniel, Florian, editor, Dolog, Peter, editor, and Li, Qing, editor

Published
2013
Full Text
View/download PDF

42. Monitoring Service Choreographies from Multiple Sources

Author

Ben Hamida, Amira, Bertolino, Antonia, Calabrò, Antonello, De Angelis, Guglielmo, Lago, Nelson, Lesbegueries, Julien, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, and Avgeriou, Paris, editor

Published
2012
Full Text
View/download PDF

43. Verification and Analysis of Autonomic Systems for Networked Enterprises

Author

Bertolino, Antonia, De Angelis, Guglielmo, Di Giandomenico, Felicita, Marchetti, Eda, Sabetta, Antonino, Spoletini, Paola, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Anastasi, Giuseppe, editor, Bellini, Emilio, editor, Di Nitto, Elisabetta, editor, Ghezzi, Carlo, editor, Tanca, Letizia, editor, and Zimeo, Eugenio, editor

Published
2012
Full Text
View/download PDF

44. An Integrated Development and Runtime Environment for the Future Internet

Author

Ben Hamida, Amira, Kon, Fabio, Ansaldi Oliva, Gustavo, Dos Santos, Carlos Eduardo Moreira, Lorré, Jean-Pierre, Autili, Marco, De Angelis, Guglielmo, Zarras, Apostolos, Georgantas, Nikolaos, Issarny, Valérie, Bertolino, Antonia, Álvarez, Federico, editor, Cleary, Frances, editor, Daras, Petros, editor, Domingue, John, editor, Galis, Alex, editor, Garcia, Ana, editor, Gavras, Anastasius, editor, Karnourskos, Stamatis, editor, Krco, Srdjan, editor, Li, Man-Sze, editor, Lotz, Volkmar, editor, Müller, Henning, editor, Salvadori, Elio, editor, Sassen, Anne-Marie, editor, Schaffers, Hans, editor, Stiller, Burkhard, editor, Tselentis, Georgios, editor, Turkama, Petra, editor, and Zahariadis, Theodore, editor

Published
2012
Full Text
View/download PDF

45. Towards a Model-Driven Infrastructure for Runtime Monitoring

Author

Bertolino, Antonia, Calabrò, Antonello, Lonetti, Francesca, Di Marco, Antinisca, Sabetta, Antonino, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, and Troubitsyna, Elena A., editor

Published
2011
Full Text
View/download PDF

46. Dependability and Performance Assessment of Dynamic CONNECTed Systems

Author

Bertolino, Antonia, Calabró, Antonello, Di Giandomenico, Felicita, Nostro, Nicola, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Bernardo, Marco, editor, and Issarny, Valérie, editor

Published
2011
Full Text
View/download PDF

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

Author

Bertolino, Antonia, Inverardi, Paola, Issarny, Valérie, Sabetta, Antonino, Spalazzese, Romina, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, and Margaria, Tiziana, editor

Published
2010
Full Text
View/download PDF

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

Author

Bertolino, Antonia, De Angelis, Guglielmo, Frantzen, Lars, Polini, Andrea, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, De Lucia, Andrea, editor, and Ferrucci, Filomena, editor

Published
2009
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results