Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAntonia Bertolino
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[j59]Francesca Lonetti
, Antonia Bertolino, Felicita Di Giandomenico:
Model-based security testing in IoT systems: A Rapid Review. Inf. Softw. Technol. 164: 107326 (2023)- [j58]Antonia Bertolino, Guglielmo De Angelis, Maurizio Leotta, Filippo Ricca:
Introduction to the special issue on test automation: Trends, benefits, and costs. J. Syst. Softw. 203: 111751 (2023) - [j57]Antonia Bertolino, Guglielmo De Angelis, Antonio Guerriero, Breno Miranda, Roberto Pietrantuono, Stefano Russo:
DevOpRET: Continuous reliability testing in DevOps. J. Softw. Evol. Process. 35(3) (2023) - [j56]Antonia Bertolino, Shin Hong, Aditya P. Mathur:
Introduction to the special issue on automation of software test and test code quality. J. Softw. Evol. Process. 35(4) (2023) - [j55]Antonia Bertolino, Guglielmo De Angelis, Breno Miranda, Paolo Tonella:
In vivo test and rollback of Java applications as they are. Softw. Test. Verification Reliab. 33(7) (2023) - [c150]Jesús Morán, Antonia Bertolino, Claudio de la Riva, Javier Tuya:
Fault Localization for Reinforcement Learning. AITest 2023: 49-50 - [c149]Antonia Bertolino, Guglielmo De Angelis, Felicita Di Giandomenico, Francesca Lonetti:
Cross-coverage testing of functionally equivalent programs. AST 2023: 101-111 - [c148]Renan Greca, Breno Miranda, Antonia Bertolino:
Orchestration Strategies for Regression Test Suites. AST 2023: 163-167 - [i4]Antonia Bertolino, Guglielmo De Angelis, Felicita Di Giandomenico, Francesca Lonetti:
Cross-coverage testing of functionally equivalent programs. CoRR abs/2304.14768 (2023) - 2022
- [j54]Antonia Bertolino, Pietro Braione, Guglielmo De Angelis, Luca Gazzola, Fitsum Meshesha Kifetew, Leonardo Mariani, Matteo Orrù, Mauro Pezzè, Roberto Pietrantuono, Stefano Russo, Paolo Tonella:
A Survey of Field-based Testing Techniques. ACM Comput. Surv. 54(5): 92:1-92:39 (2022) - [j53]Miguel Angel Olivero, Antonia Bertolino, Francisco José Domínguez Mayo, Ilaria Matteucci, María José Escalona:
A Delphi study to recognize and assess systems of systems vulnerabilities. Inf. Softw. Technol. 146: 106874 (2022) - [j52]Francesca Lonetti, Vânia de Oliveira Neves, Antonia Bertolino:
Designing and testing systems of systems: From variability models to test cases passing through desirability assessment. J. Softw. Evol. Process. 34(10) (2022) - [c147]Antonia Bertolino, Emilio Cruciani, Breno Miranda, Roberto Verdecchia:
Testing non-testable programs using association rules. AST@ICSE 2022: 87-91 - [c146]Renan Greca, Breno Miranda, Milos Gligoric, Antonia Bertolino:
Comparing and Combining File-based Selection and Similarity-based Prioritization towards Regression Test Orchestration. AST@ICSE 2022: 115-125 - [c145]Samira Silva, Antonia Bertolino, Patrizio Pelliccione:
Self-adaptive Testing in the Field: Are We There Yet? SEAMS 2022: 58-69 - 2021
- [j51]Roberto Verdecchia, Emilio Cruciani, Breno Miranda, Antonia Bertolino:
Know You Neighbor: Fast Static Prediction of Test Flakiness. IEEE Access 9: 76119-76134 (2021) - [j50]Antonia Bertolino, Breno Miranda, Roberto Pietrantuono, Stefano Russo:
Adaptive Test Case Allocation, Selection and Generation Using Coverage Spectrum and Operational Profile. IEEE Trans. Software Eng. 47(5): 881-898 (2021) - [c144]Morena Barboni, Antonia Bertolino, Guglielmo De Angelis:
What We Talk About When We Talk About Software Test Flakiness. QUATIC 2021: 29-39 - 2020
- [j49]Antonia Bertolino, Guglielmo De Angelis, Andrea Polini, Barbara Re, Andrea Sergiacomi:
Process-oriented knowledge management and learning in public administrations. Electron. Gov. an Int. J. 16(4): 441-465 (2020) - [j48]Antonia Bertolino, Antonello Calabrò, Eda Marchetti, Anton Cervantes Sala, Guiomar Tunon de Hita, Ilie-Daniel Gheorghe-Pop, Varun Gowtham:
Cloud testing automation: industrial needs and ElasTest response. IET Softw. 14(5): 553-562 (2020) - [j47]Miguel Angel Olivero, Antonia Bertolino, Francisco José Domínguez Mayo, María José Escalona, Ilaria Matteucci:
Digital persona portrayal: Identifying pluridentity vulnerabilities in digital life. J. Inf. Secur. Appl. 52: 102492 (2020) - [j46]Jesús Morán, Cristian Augusto, Antonia Bertolino, Claudio de la Riva, Javier Tuya:
FlakyLoc: Flakiness Localization for Reliable Test Suites in Web Applications. J. Web Eng. 19(2): 267-296 (2020) - [j45]J. Jenny Li, Andreas Ulrich, Xiaoying Bai, Antonia Bertolino:
Advances in test automation for software with special focus on artificial intelligence and machine learning. Softw. Qual. J. 28(1): 245-248 (2020) - [j44]Cristian Augusto, Jesús Morán, Antonia Bertolino, Claudio de la Riva, Javier Tuya:
RETORCH: an approach for resource-aware orchestration of end-to-end test cases. Softw. Qual. J. 28(3): 1147-1171 (2020) - [j43]Breno Miranda, Antonia Bertolino:
Testing Relative to Usage Scope: Revisiting Software Coverage Criteria. ACM Trans. Softw. Eng. Methodol. 29(3): 18:1-18:24 (2020) - [c143]Maria Teresa Rossi, Renan Greca, Ludovico Iovino, Giorgio Giacinto, Antonia Bertolino:
Defensive Programming for Smart Home Cybersecurity. EuroS&P Workshops 2020: 600-605 - [c142]Antonia Bertolino, Antonio Guerriero, Breno Miranda, Roberto Pietrantuono, Stefano Russo:
Learning-to-rank vs ranking-to-learn: strategies for regression testing in continuous integration. ICSE 2020: 1-12 - [c141]Antonia Bertolino, Guglielmo De Angelis, Breno Miranda, Paolo Tonella:
Run Java Applications and Test Them In-Vivo Meantime. ICST 2020: 454-459 - [c140]Antonia Bertolino, Francesca Lonetti, Vânia de Oliveira Neves:
Standing on the Shoulders of Software Product Line Research for Testing Systems of Systems. ISSRE Workshops 2020: 209-214 - [c139]Gustavo Pinto, Breno Miranda, Supun Dissanayake, Marcelo d'Amorim, Christoph Treude, Antonia Bertolino:
What is the Vocabulary of Flaky Tests? MSR 2020: 492-502 - [c138]Federico Corò, Roberto Verdecchia, Emilio Cruciani, Breno Miranda, Antonia Bertolino:
JTeC: A Large Collection of Java Test Classes for Test Code Analysis and Processing. MSR 2020: 578-582 - [c137]Antonia Bertolino, Antonello Calabrò, Guglielmo De Angelis, Francisco Gortázar, Francesca Lonetti, Michel Maes-Bermejo, Guiomar Tuñón de Hita:
Quality-of-Experience driven configuration of WebRTC services through automated testing. QRS 2020: 152-159 - [c136]Antonia Bertolino, Guglielmo De Angelis, Francesca Lonetti, Vânia de Oliveira Neves, Miguel Angel Olivero:
EDUFYSoS: A Factory of Educational System of Systems Case Studies. SoSE 2020: 205-210
2010 – 2019
- 2019
- [j42]Boni García, Micael Gallego, Francisco Gortázar, Antonia Bertolino:
Understanding and estimating quality of experience in WebRTC applications. Computing 101(11): 1585-1607 (2019) - [j41]Antonia Bertolino, Guglielmo De Angelis, Micael Gallego, Boni García, Francisco Gortázar, Francesca Lonetti, Eda Marchetti:
A Systematic Review on Cloud Testing. ACM Comput. Surv. 52(5): 93:1-93:42 (2019) - [c135]Antonia Bertolino, Paola Inverardi:
Changing Software in a Changing World: How to Test in Presence of Variability, Adaptation and Evolution? From Software Engineering to Formal Methods and Tools, and Back 2019: 56-66 - [c134]Roberto Pietrantuono, Antonia Bertolino, Guglielmo De Angelis, Breno Miranda, Stefano Russo:
Towards continuous software reliability testing in DevOps. AST@ICSE 2019: 21-27 - [c133]Miguel Angel Olivero, Antonia Bertolino, Francisco José Domínguez Mayo, María José Escalona, Ilaria Matteucci:
Security assessment of systems of systems. SESoS-WDES@ICSE 2019: 62-65 - [c132]Emilio Cruciani, Breno Miranda, Roberto Verdecchia, Antonia Bertolino:
Scalable approaches for test suite reduction. ICSE 2019: 419-429 - [c131]Antonia Bertolino, Guglielmo De Angelis, Francesca Lonetti:
Governing Regression Testing in Systems of Systems. ISSRE Workshops 2019: 144-148 - [c130]Cristian Augusto, Jesús Morán, Antonia Bertolino, Claudio de la Riva, Javier Tuya:
RETORCH: Resource-Aware End-to-End Test Orchestration. QUATIC 2019: 297-310 - [c129]Miguel Angel Olivero, Antonia Bertolino, Francisco José Domínguez Mayo, María José Escalona, Ilaria Matteucci:
Addressing Security Properties in Systems of Systems: Challenges and Ideas. SERENE 2019: 138-146 - [c128]Jesús Morán, Cristian Augusto, Antonia Bertolino, Claudio de la Riva, Javier Tuya:
Debugging Flaky Tests on Web Applications. WEBIST 2019: 454-461 - 2018
- [j40]André Takeshi Endo, Antonia Bertolino, José Carlos Maldonado, Márcio Eduardo Delamaro:
Guest editorial foreword for the special issue on automated software testing: trends and evidence. J. Softw. Eng. Res. Dev. 6: 2 (2018) - [j39]Antonia Bertolino, Antonello Calabrò, Francesca Lonetti, Eda Marchetti, Breno Miranda:
A categorization scheme for software engineering conference papers and its application. J. Syst. Softw. 137: 114-129 (2018) - [j38]Antonia Bertolino, Antonello Calabrò, Felicita Di Giandomenico, Giuseppe Lami, Francesca Lonetti, Eda Marchetti, Fabio Martinelli, Ilaria Matteucci, Paolo Mori:
A tour of secure software engineering solutions for connected vehicles. Softw. Qual. J. 26(4): 1223-1256 (2018) - [j37]Breno Miranda, Antonia Bertolino:
An assessment of operational coverage as both an adequacy and a selection criterion for operational profile based testing. Softw. Qual. J. 26(4): 1571-1594 (2018) - [j36]Jesús Morán, Antonia Bertolino, Claudio de la Riva, Javier Tuya:
Automatic Testing of Design Faults in MapReduce Applications. IEEE Trans. Reliab. 67(3): 717-732 (2018) - [c127]Antonia Bertolino, Said Daoudagh, Francesca Lonetti, Eda Marchetti:
An automated model-based test oracle for access control systems. AST@ICSE 2018: 2-8 - [c126]Antonia Bertolino, Antonello Calabrò, Guglielmo De Angelis, Micael Gallego, Boni García, Francisco Gortázar:
When the testing gets tough, the tough get ElasTest. ICSE (Companion Volume) 2018: 17-20 - [c125]Vânia de Oliveira Neves, Antonia Bertolino, Guglielmo De Angelis, Lina Garcés:
Do We Need New Strategies for Testing Systems-of-Systems? SESoS@ICSE 2018: 29-32 - [c124]Breno Miranda, Emilio Cruciani, Roberto Verdecchia, Antonia Bertolino:
FAST approaches to scalable similarity-based test case prioritization. ICSE 2018: 222-232 - [c123]Gianpiero Costantino, Fabio Martinelli, Ilaria Matteucci, Antonia Bertolino, Antonello Calabrò, Eda Marchetti:
CARS: Context Aware Reputation Systems to Evaluate Vehicles' Behaviour. PDP 2018: 446-453 - [c122]Antonia Bertolino, Antonello Calabrò, Eda Marchetti, Anton Cervantes Sala, Guiomar Tunon de Hita, Ilie-Daniel Gheorghe-Pop, Varun Gowtham:
Perceived Needs and Gains from an Industrial Study in Cloud Testing Automation. UCC Companion 2018: 238-244 - [c121]Antonia Bertolino:
Coverage Testing and Reliability Improvement: A Marriage of Convenience? WEBIST 2018: 5 - [c120]Antonia Bertolino, Breno Miranda, Roberto Pietrantuono, Stefano Russo:
Hybrid Is Better: Why and How Test Coverage and Software Reliability Can Benefit Each Other. WEBIST (Revised Selected Papers) 2018: 25-38 - [e7]Antonia Bertolino, Vasco Amaral, Paulo Rupino, Marco Vieira:
11th International Conference on the Quality of Information and Communications Technology, QUATIC 2018, Coimbra, Portugal, September 4-7, 2018. IEEE Computer Society 2018, ISBN 978-1-5386-5841-3 [contents] - [i3]Antonia Bertolino, Said Daoudagh, Francesca Lonetti, Eda Marchetti:
An automated model-based test oracle for access control systems. CoRR abs/1809.02724 (2018) - 2017
- [j35]Breno Miranda, Antonia Bertolino:
Scope-aided test prioritization, selection and minimization for software reuse. J. Syst. Softw. 131: 528-549 (2017) - [c119]Khaled Alnawasreh, Patrizio Pelliccione, Zhenxiao Hao, Marten Range, Antonia Bertolino:
Online Robustness Testing of Distributed Embedded Systems: An Industrial Approach. ICSE-SEIP 2017: 133-142 - [c118]Antonia Bertolino, Antonello Calabrò, Francesca Lonetti, Eda Marchetti, Breno Miranda:
What paper types are accepted at the international conference on software engineering? ICSE (Companion Volume) 2017: 399-401 - [c117]Antonia Bertolino, Breno Miranda, Roberto Pietrantuono, Stefano Russo:
Adaptive coverage and operational profile-based testing for reliability improvement. ICSE 2017: 541-551 - [c116]Jesús Morán, Antonia Bertolino, Claudio de la Riva, Javier Tuya:
Towards Ex Vivo Testing of MapReduce Applications. QRS 2017: 73-80 - [c115]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:
Towards Automated Deployment of Self-adaptive Applications on Hybrid Clouds (Short Paper). SEFM 2017: 388-393 - 2016
- [j34]Marco Autili, Antonia Bertolino, Guglielmo De Angelis, Davide Di Ruscio, Alessio Di Sandro:
A Tool-Supported Methodology for Validation and Refinement of Early-Stage Domain Models. IEEE Trans. Software Eng. 42(1): 2-25 (2016) - [c114]Venkatapathy Subramanian, Antonia Bertolino:
Learning Path Specification for Workplace Learning based on Business Process Management. CSEDU (1) 2016: 172-180 - [c113]Venkatapathy Subramanian, Antonia Bertolino:
A Model Driven Approach to Business Process-Based Learning. CSEDU (Selected Papers) 2016: 317-335 - [c112]Breno Miranda, Antonia Bertolino:
Does code coverage provide a good stopping rule for operational profile based testing? AST@ICSE 2016: 22-28 - [c111]Venkatapathy Subramanian, Antonia Bertolino:
Monitoring of Learning Path for Business Process Models. AMARETTO@MODELSWARD 2016: 62-72 - [c110]Antonia Bertolino, Said Daoudagh, Francesca Lonetti, Eda Marchetti:
Testing access control policies against intended access rights. SAC 2016: 1641-1647 - [c109]Antonia Bertolino, Antonello Calabrò, Francesca Lonetti, Eda Marchetti:
Towards Business Process Execution Adequacy Criteria. SWQD 2016: 37-48 - 2015
- [j33]Antonia Bertolino, Said Daoudagh, Donia El Kateb, Christopher Henard, Yves Le Traon, Francesca Lonetti, Eda Marchetti, Tejeddine Mouelhi, Mike Papadakis:
Similarity testing for access control. Inf. Softw. Technol. 58: 355-372 (2015) - [j32]Antonia Bertolino, M. Brian Blake, Pankaj Mehra, Hong Mei, Tao Xie:
Software Engineering for Internet Computing: Internetware and Beyond [Guest editors' introduction]. IEEE Softw. 32(1): 35-37 (2015) - [c108]Breno Miranda, Antonia Bertolino:
Improving Test Coverage Measurement for Reused Software. EUROMICRO-SEAA 2015: 27-34 - [c107]Antonia Bertolino, Guglielmo De Angelis, Andrea Polini, Darius Silingas:
Learn PAd : Collaborative and Model-based Learning in Public Administrations. STAF Projects Showcase 2015: 9-17 - [e6]Antonia Bertolino, Gerardo Canfora, Sebastian G. Elbaum:
37th IEEE/ACM International Conference on Software Engineering, ICSE 2015, Florence, Italy, May 16-24, 2015, Volume 1. IEEE Computer Society 2015, ISBN 978-1-4799-1934-5 [contents] - [e5]Antonia Bertolino, Gerardo Canfora, Sebastian G. Elbaum:
37th IEEE/ACM International Conference on Software Engineering, ICSE 2015, Florence, Italy, May 16-24, 2015, Volume 2. IEEE Computer Society 2015 [contents] - 2014
- [j31]Midhat Ali, Francesco De Angelis, Daniele Fanì, Antonia Bertolino, Guglielmo De Angelis, Andrea Polini:
An Extensible Framework for Online Testing of Choreographed Services. Computer 47(2): 23-29 (2014) - [j30]Antonia Bertolino, Said Daoudagh, Francesca Lonetti, Eda Marchetti, Fabio Martinelli, Paolo Mori:
Testing of PolPA-based usage control systems. Softw. Qual. J. 22(2): 241-271 (2014) - [j29]Antonia Bertolino, Yvan Labiche:
Editorial for the special issue of STVR on the 5th IEEE International Conference on Software Testing, Verification, and Validation (ICST 2012). Softw. Test. Verification Reliab. 24(5): 339-340 (2014) - [c106]Breno Miranda, Antonia Bertolino:
Social coverage for customized test adequacy and selection criteria. AST 2014: 22-28 - [c105]Antonia Bertolino, Yves Le Traon, Francesca Lonetti, Eda Marchetti, Tejeddine Mouelhi:
Coverage-Based Test Cases Selection for XACML Policies. ICST Workshops 2014: 12-21 - [c104]Federico Toledo Rodríguez, Francesca Lonetti, Antonia Bertolino, Macario Polo Usaola, Beatriz Pérez Lamancha:
Extending UML Testing Profile Towards Non-functional Test Modeling. MODELSWARD 2014: 488-497 - [c103]Antonia Bertolino, Said Daoudagh, Francesca Lonetti, Eda Marchetti:
An Automated Testing Framework of Model-Driven Tools for XACML Policy Specification. QUATIC 2014: 75-84 - [c102]Neil A. M. Maiden, James Lockerbie, Konstantinos Zachos, Antonia Bertolino, Guglielmo De Angelis, Francesca Lonetti:
A Requirements-Led Approach for Specifying QoS-Aware Service Choreographies: An Experience Report. REFSQ 2014: 239-253 - [p4]Antonia Bertolino, Yves Le Traon, Francesca Lonetti, Eda Marchetti, Tejeddine Mouelhi:
Validation of Access Control Systems. Engineering Secure Future Internet Services and Systems 2014: 210-233 - [p3]Antonia Bertolino, Marianne Busch, Said Daoudagh, Francesca Lonetti, Eda Marchetti:
A Toolchain for Designing and Testing Access Control Policies. Engineering Secure Future Internet Services and Systems 2014: 266-286 - 2013
- [j28]Antonia Bertolino, Paola Inverardi, Henry Muccini:
Software architecture-based analysis and testing: a look into achievements and future challenges. Computing 95(8): 633-648 (2013) - [j27]Antonia Bertolino, Said Daoudagh, Francesca Lonetti, Eda Marchetti, Louis Schilders:
Automated testing of eXtensible Access Control Markup Language-based access control systems. IET Softw. 7(4): 203-212 (2013) - [j26]Felicita Di Giandomenico, Antonia Bertolino, Antonello Calabrò, Nicola Nostro:
An Approach to Adaptive Dependability Assessment in Dynamic and Evolving Connected Systems. Int. J. Adapt. Resilient Auton. Syst. 4(1): 1-25 (2013) - [j25]Marcelo Medeiros Eler, Antonia Bertolino, Paulo César Masiero:
Applying Structural Testing to Services Using Testing Interfaces and Metadata. Int. J. Softw. Informatics 7(2): 239-271 (2013) - [j24]Antonia Bertolino, Kendra M. L. Cooper:
Guest Editorial for Special Section from Component-based Software Engineering (CBSE) 2011. Inf. Softw. Technol. 55(2): 443-444 (2013) - [j23]Antonia Bertolino, Howard Foster, J. Jenny Li, Hong Zhu:
Special section on automation of software test. J. Syst. Softw. 86(8): 1977 (2013) - [c101]Antonia Bertolino, Said Daoudagh, Francesca Lonetti, Eda Marchetti:
XACMUT: XACML 2.0 Mutants Generator. ICST Workshops 2013: 28-33 - [c100]Antonia Bertolino, Marianne Busch, Said Daoudagh, Nora Koch, Francesca Lonetti, Eda Marchetti:
A Toolchain for Designing and Testing XACML Policies. ICST 2013: 495-496 - [c99]Antonia Bertolino, Antonello Calabrò, Guglielmo De Angelis:
A Generative Approach for the Adaptive Monitoring of SLA in Service Choreographies. ICWE 2013: 408-415 - [c98]Antonia Bertolino, Antonello Calabrò, Guglielmo De Angelis:
Adaptive SLA monitoring of service choreographies enacted on the Cloud. MESOCA 2013: 92-101 - [c97]Cesare Bartolini, Antonia Bertolino, Guglielmo De Angelis, Andrea Ciancone, Raffaela Mirandola:
Apprehensive QoS monitoring of Service choreographies. SAC 2013: 1893-1899 - [c96]Antonia Bertolino, Eda Marchetti, Andrea Morichetta:
Adequate monitoring of service compositions. ESEC/SIGSOFT FSE 2013: 59-69 - 2012
- [j22]Antonia Bertolino, Guglielmo De Angelis, Sampo Kellomaki, Andrea Polini:
Enhancing Service Federation Trustworthiness through Online Testing. Computer 45(1): 66-72 (2012) - [c95]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:
An Integrated Development and Runtime Environment for the Future Internet. Future Internet Assembly 2012: 81-92 - [c94]Cesare Bartolini, Antonia Bertolino, Guglielmo De Angelis, Andrea Ciancone, Raffaela Mirandola:
Non-functional analysis of service choreographies. PESOS@ICSE 2012: 8-14 - [c93]Antonia Bertolino, Said Daoudagh, Francesca Lonetti, Eda Marchetti, Fabio Martinelli, Paolo Mori:
Testing of PolPA authorization systems. AST 2012: 8-14 - [c92]Antonia Bertolino, Said Daoudagh, Francesca Lonetti, Eda Marchetti:
Automatic XACML Requests Generation for Policy Testing. ICST 2012: 842-849 - [c91]Antonia Bertolino, Antinisca Di Marco, Francesca Lonetti:
Complex Events Specification for Properties Validation. QUATIC 2012: 85-94 - [c90]Amira Ben Hamida, Antonia Bertolino, Antonello Calabrò, Guglielmo De Angelis, Nelson Lago, Julien Lesbegueries:
Monitoring Service Choreographies from Multiple Sources. SERENE 2012: 134-149 - [c89]Guglielmo De Angelis, Antonia Bertolino, Andrea Polini:
Validation and Verification Policies for Governance of Service Choreographies. WEBIST 2012: 58-70 - [c88]Antonia Bertolino, Guglielmo De Angelis, Andrea Polini:
Governance Policies for Verification and Validation of Service Chore