dblp.uni-trier.dewww.uni-trier.de

Antonia Bertolino Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
80EEAntonia Bertolino, Paola Inverardi, Patrizio Pelliccione, Massimo Tivoli: Automatic synthesis of behavior protocols for composable web-services. ESEC/SIGSOFT FSE 2009: 141-150
79EECesare Bartolini, Antonia Bertolino, Sebastian G. Elbaum, Eda Marchetti: Whitening SOA testing. ESEC/SIGSOFT FSE 2009: 161-170
78EEValérie Issarny, Bernhard Steffen, Bengt Jonsson, Gordon S. Blair, Paul Grace, Marta Z. Kwiatkowska, Radu Calinescu, Paola Inverardi, Massimo Tivoli, Antonia Bertolino, Antonino Sabetta: CONNECT Challenges: Towards Emergent Connectors for Eternal Networked Systems. ICECCS 2009: 154-161
77EEMassimo Pascale, Marcello Roselli, Umberto Rugani, Cesare Bartolini, Antonia Bertolino, Francesca Lonetti, Eda Marchetti, Andrea Polini: Automated testing of healthcare document transformations in the PICASSO interoperability platform. ICSE Companion 2009: 163-171
2008
76EEAntonia Bertolino, Guglielmo De Angelis, Antonino Sabetta: VCR: Virtual Capture and Replay for Performance Testing. ASE 2008: 399-402
75EECesare Bartolini, Antonia Bertolino, Eda Marchetti: Introducing service-oriented coverage testing. ASE Workshops 2008: 57-64
74EEAntonia Bertolino, Wolfgang Emmerich, Paola Inverardi, Valérie Issarny, Fotios K. Liotopoulos, Pierre Plaza: PLASTIC: Providing lightweight & adaptable service technology for pervasive information & communication. ASE Workshops 2008: 65-70
73EEAntonia Bertolino, Emanuela G. Cartaxo, Patrícia D. L. Machado, Eda Marchetti: Weighting Influence of User Behavior in Software Validation. DEXA Workshops 2008: 495-500
72EECesare Bartolini, Antonia Bertolino, Eda Marchetti, Andrea Polini: Towards Automated WSDL-Based Testing of Web Services. ICSOC 2008: 524-529
71EEAntonia Bertolino, Guglielmo De Angelis, Lars Frantzen, Andrea Polini: The PLASTIC Framework and Tools for Testing Service-Oriented Applications. ISSSE 2008: 106-139
70EEAntonia Bertolino, Guglielmo De Angelis, Antinisca Di Marco, Paola Inverardi, Antonino Sabetta, Massimo Tivoli: A Framework for Analyzing and Testing the Performance of Software Services. ISoLA 2008: 206-220
69EEAntonia Bertolino: Software Testing Forever: Old and New Processes and Techniques for Validating Today's Applications. PROFES 2008: 1
68EEAntonia Bertolino, Guglielmo De Angelis, Francesca Lonetti, Antonino Sabetta: Let The Puppets Move! Automated Testbed Generation for Service-oriented Mobile Applications. SEAA 2008: 321-328
67EEAntonia Bertolino, Guglielmo De Angelis, Lars Frantzen, Andrea Polini: Model-Based Generation of Testbeds for Web Services. TestCom/FATES 2008: 266-282
2007
66 Ivica Crnkovic, Antonia Bertolino: Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007, Dubrovnik, Croatia, September 3-7, 2007 ACM 2007
65 Ivica Crnkovic, Antonia Bertolino: Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007, Dubrovnik, Croatia, September 3-7, 2007, Companion Papers ACM 2007
64EEHenry Muccini, Andrea Polini, Fabiano Ricci, Antonia Bertolino: Monitoring Architectural Properties in Dynamic Component-Based Systems. CBSE 2007: 124-139
63EEEda Marchetti, Antonia Bertolino: Profiling and testing within domains to facilitate document exchangeability. DOSTA 2007: 34-40
62EEAntonia Bertolino, Henry Muccini: Welcome to the WISE track. ESEC/SIGSOFT FSE (Companion) 2007: 469
61EEAntonia Bertolino, Guglielmo De Angelis, Antonino Sabetta, Sebastian G. Elbaum: Scaling up SLA monitoring in pervasive environments. ESSPE 2007: 65-68
60EEAntonia Bertolino: Software Testing Research: Achievements, Challenges, Dreams. FOSE 2007: 85-103
59EEAntonia Bertolino, Jinghua Gao, Eda Marchetti, Andrea Polini: TAXI - A Tool for XML-Based Testing. ICSE Companion 2007: 53-54
58EEAntonia Bertolino, Guglielmo De Angelis, Andrea Polini: A QoS Test-Bed Generator for Web Services. ICWE 2007: 17-31
57EECesare Bartolini, Antonia Bertolino, Eda Marchetti, Ioannis Parissis: Data Flow-Based Validation of Web Services Compositions: Perspectives and Examples. WADS 2007: 298-325
56EEAntonia Bertolino, Guglielmo De Angelis, Andrea Polini: Automatic generation of test-beds for pre-deployment QoS evaluation of web services. WOSP 2007: 137-140
55EEMuhammad Jaffar-Ur Rehman, Fakhra Jabeen, Antonia Bertolino, Andrea Polini: Testing software components for integration: a survey of issues and techniques. Softw. Test., Verif. Reliab. 17(2): 95-133 (2007)
54EEAntonia Bertolino, Eda Marchetti, Raffaela Mirandola: Performance measures for supporting project manager decisions. Software Process: Improvement and Practice 12(2): 141-164 (2007)
2006
53EECesare Bartolini, Antonia Bertolino, Guglielmo De Angelis, Giuseppe Lipari: A UML Profile and a Methodology for Real-Time Systems Design. EUROMICRO-SEAA 2006: 108-117
52EEAntonia Bertolino, Alvise Bonivento, Guglielmo De Angelis, Alberto L. Sangiovanni-Vincentelli: Modeling and Early Performance Estimation for Network Processor Applications. MoDELS 2006: 753-767
51EEAntonia Bertolino, Jinghua Gao, Eda Marchetti, Andrea Polini: Systematic Generation of XML Instances to Test Complex Software Applications. RISE 2006: 114-129
50EEAntonia Bertolino, Henry Muccini, Andrea Polini: Architectural Verification of Black-Box Component-Based Systems. RISE 2006: 98-113
49 Antonia Bertolino, Jinghua Gao, Eda Marchetti: XML Every-Flavor Testing. WEBIST (1) 2006: 268-273
48EEAntonia Bertolino, Alessandro Fantechi, Stefania Gnesi, Giuseppe Lami: Product Line Use Cases: Scenario-Based Specification and Testing of Requirements. Software Product Lines 2006: 425-445
47EERobert L. Glass, Ross Collard, Antonia Bertolino, James Bach, Cem Kaner: Software Testing and Industry Needs. IEEE Software 23(4): 55-57 (2006)
2005
46EEAntonia Bertolino, Andrea Polini: The Audition Framework for Testing Web Services Interoperability. EUROMICRO-SEAA 2005: 134-142
45EEAntonia Bertolino, Guglielmo De Angelis, Raffaela Mirandola: UML-based Design of Network Processors Applications. EUROMICRO-SEAA 2005: 424-431
44EEAntonia Bertolino, Antonio Bucchiarone, Stefania Gnesi, Henry Muccini: An Architecture-Centric Approach for Producing Quality Systems. QoSA/SOQUA 2005: 21-37
43EEAntonia Bertolino, Eda Marchetti, Henry Muccini: Introducing a Reasonably Complete and Coherent Approach for Model-based Testing. Electr. Notes Theor. Comput. Sci. 116: 85-97 (2005)
2004
42EEAntonia Bertolino, Lars Frantzen, Andrea Polini, Jan Tretmans: Audition of Web Services for Testing Conformance to Open Specified Protocols. Architecting Systems with Trustworthy Components 2004: 1-25
41EEAntonia Bertolino, Raffaela Mirandola: CB-SPE Tool: Putting Component-Based Performance Engineering into Practice. CBSE 2004: 233-248
40EESharareh Afsharian, Antonia Bertolino, Guglielmo De Angelis, Paola Iovanna, Raffaela Mirandola: A Model Based Approach to Design Applications for Network Processor. RISE 2004: 93-101
39EEAntonia Bertolino, Raffaela Mirandola: Software performance engineering of component-based systems. WOSP 2004: 238-242
38EEAntonia Bertolino: The (Im)maturity level of software testing. ACM SIGSOFT Software Engineering Notes 29(5): 1-4 (2004)
37EEHenry Muccini, Antonia Bertolino, Paola Inverardi: Using Software Architecture for Code Testing. IEEE Trans. Software Eng. 30(3): 160-171 (2004)
2003
36EEAntonia Bertolino: Software Testing Research and Practice. Abstract State Machines 2003: 1-21
35EEAntonia Bertolino, Stefania Gnesi: Use case-based testing of product lines. ESEC / SIGSOFT FSE 2003: 355-358
34EEAntonia Bertolino, Andrea Polini: A Framework for Component Deployment Testing. ICSE 2003: 221-231
33EEAntonia Bertolino, Stefania Gnesi: PLUTO: A Test Methodology for Product Families. PFE 2003: 181-197
32EEAntonia Bertolino, Paola Inverardi, Henry Muccini: Formal Methods in Testing Software Architectures. SFM 2003: 122-147
31EEAntonia Bertolino, Eda Marchetti, Andrea Polini: Integration of "Components" to Test Software Components. Electr. Notes Theor. Comput. Sci. 82(6): (2003)
30EEAntonia Bertolino, Raffaela Mirandola: Modeling and Analysis of Non-functional Properties in Component-based Systems. Electr. Notes Theor. Comput. Sci. 82(6): (2003)
29EEMartina Marré, Antonia Bertolino: Using Spanning Sets for Coverage Testing. IEEE Trans. Software Eng. 29(11): 974-984 (2003)
2002
28EEAntonia Bertolino, Andrea Polini: WCT: A Wrapper for Component Testing. FIDJI 2002: 165-174
27EEAntonia Bertolino: ISSTA 2002 panel: is ISSTA research relevant to industrial users? ISSTA 2002: 201-202
26EEFrancesca Basanieri, Antonia Bertolino, Eda Marchetti: The Cow_Suite Approach to Planning and Deriving Test Suites in UML Projects. UML 2002: 383-397
25EEAntonia Bertolino, Eda Marchetti, Raffaela Mirandola: Real-tiem UML-based performance engineering to aid manager's decisions in multi-project planning. Workshop on Software and Performance 2002: 251-261
24 Antonia Bertolino, Eda Marchetti, Raffaela Mirandola, Gaetano Lombardi, Emilia Peciola: Experience of applying statistical control techniques to the function test phase of a large telecommunications system. IEE Proceedings - Software 149(4): 93-101 (2002)
23EEMary Jean Harrold, Antonia Bertolino: Guest Editors' Introduction: 2000 International Symposium on Software Testing and Analysis. IEEE Trans. Software Eng. 28(2): 113-114 (2002)
22 István Forgács, Antonia Bertolino: Preventing untestedness in data-flow based testing. Softw. Test., Verif. Reliab. 12(1): 29-58 (2002)
2001
21 Antonia Bertolino, Paola Inverardi, Henry Muccini: An Explorative Journey from Architectural Tests Definition downto Code Tests Execution. ICSE 2001: 211-220
2000
20EEAntonia Bertolino, Flavio Corradini, Paola Inverardi, Henry Muccini: Deriving test plans from architectural descriptions. ICSE 2000: 220-229
19EEAntonia Bertolino, Gail C. Murphy: An overview of the ICSE 2000 workshop program. ICSE 2000: 793
1999
18EEGaetano Lombardi, Emilia Peciola, Raffaela Mirandola, Antonia Bertolino, Eda Marchetti: Towards Statistical Control of an Industrial Test Process. SAFECOMP 1999: 260-271
1998
17 Antonia Bertolino, Lorenzo Strigini: Assessing the Risk due to Software Faults: Estimates of Failure Rate versus Evidence of Perfection. Softw. Test., Verif. Reliab. 8(3): 155-166 (1998)
1997
16EEIstván Forgács, Antonia Bertolino: Feasible Test Path Selection by Principal Slicing. ESEC / SIGSOFT FSE 1997: 378-394
15EEAntonia Bertolino, Paola Inverardi, Henry Muccini, Andrea Rosetti: An approach to integration testing based on architectural descriptions. ICECCS 1997: 77-
14EEAntonia Bertolino, Raffaela Mirandola, Emilia Peciola: A case study in branch testing automation. Journal of Systems and Software 38(1): 47-59 (1997)
1996
13EEMartina Marré, Antonia Bertolino: Reducing and Estimating the Cost of Test Coverage Criteria. ICSE 1996: 486-494
12EEMartina Marré, Antonia Bertolino: Unconstrained Duals and Their Use in Achieving All-Uses Coverage. ISSTA 1996: 147-157
11EEAntonia Bertolino, Lorenzo Strigini: On the Use of Testability Measures for Dependability Assessment. IEEE Trans. Software Eng. 22(2): 97-108 (1996)
10 Antonia Bertolino, Martina Marré: How Many Paths are Needed for Branch Testing? Journal of Systems and Software 35(2): 95-106 (1996)
9 Antonia Bertolino: Software Assessment: Reliability, Safety, Testability, by Michael A. Friedman and Jeffrey M. Voas, Wiley, 1995 (Book Review). Softw. Test., Verif. Reliab. 6(2): 113-115 (1996)
1995
8EEAntonia Bertolino, Lorenzo Strigini: Using Testability Measures for Dependability Assessment. ICSE 1995: 61-70
7 Antonia Bertolino: Software Testing for Dependability Assessment. Objective Software Quality 1995: 236-248
1994
6EEAntonia Bertolino, Martina Marré: A Meaningful Bound for Branch Testing (Abstract). ISSTA 1994: 202
5EEAntonia Bertolino, Martina Marré: Automatic Generation of Path Covers Based on the Control Flow Analysis of Computer Programs. IEEE Trans. Software Eng. 20(12): 885-899 (1994)
4EEAntonia Bertolino: Guest editor's corner achieving quality in software. Journal of Systems and Software 26(1): 1-3 (1994)
1993
3EEAntonia Bertolino: Unconstrained edges and their application to branch analysis and testing of programs. Journal of Systems and Software 20(2): 125-133 (1993)
1991
2EEAntonia Bertolino: An overview of automated software testing. Journal of Systems and Software 15(2): 133-138 (1991)
1988
1 Paolo Ancilotti, Antonia Bertolino, Mario Fusani: An Approach to Efficient Distributed Transactions. Distributed Computing 2(4): 201-212 (1988)

Coauthor Index

1Sharareh Afsharian [40]
2Paolo Ancilotti [1]
3Guglielmo De Angelis [40] [45] [52] [53] [56] [58] [61] [67] [68] [70] [71] [76]
4James Bach [47]
5Cesare Bartolini [53] [57] [72] [75] [77] [79]
6Francesca Basanieri [26]
7Gordon S. Blair [78]
8Alvise Bonivento [52]
9Antonio Bucchiarone [44]
10Radu Calinescu [78]
11Emanuela G. Cartaxo [73]
12Ross Collard [47]
13Flavio Corradini [20]
14Ivica Crnkovic [65] [66]
15Sebastian G. Elbaum [61] [79]
16Wolfgang Emmerich [74]
17Alessandro Fantechi [48]
18István Forgács [16] [22]
19Lars Frantzen [42] [67] [71]
20Mario Fusani [1]
21Jinghua Gao [49] [51] [59]
22Robert L. Glass [47]
23Stefania Gnesi [33] [35] [44] [48]
24Paul Grace [78]
25Mary Jean Harrold [23]
26Paola Inverardi [15] [20] [21] [32] [37] [70] [74] [78] [80]
27Paola Iovanna [40]
28Valérie Issarny [74] [78]
29Fakhra Jabeen [55]
30Bengt Jonsson [78]
31Cem Kaner [47]
32Marta Z. Kwiatkowska [78]
33Giuseppe Lami [48]
34Fotios K. Liotopoulos [74]
35Giuseppe Lipari [53]
36Gaetano Lombardi [18] [24]
37Francesca Lonetti [68] [77]
38Patrícia D. L. Machado [73]
39Eda Marchetti [18] [24] [25] [26] [31] [43] [49] [51] [54] [57] [59] [63] [72] [73] [75] [77] [79]
40Antinisca Di Marco [70]
41Martina Marré [5] [6] [10] [12] [13] [29]
42Raffaela Mirandola [14] [18] [24] [25] [30] [39] [40] [41] [45] [54]
43Henry Muccini [15] [20] [21] [32] [37] [43] [44] [50] [62] [64]
44Gail C. Murphy [19]
45Ioannis Parissis [57]
46Massimo Pascale [77]
47Emilia Peciola [14] [18] [24]
48Patrizio Pelliccione [80]
49Pierre Plaza [74]
50Andrea Polini [28] [31] [34] [42] [46] [50] [51] [55] [56] [58] [59] [64] [67] [71] [72] [77]
51Muhammad Jaffar-Ur Rehman [55]
52Fabiano Ricci [64]
53Marcello Roselli [77]
54Andrea Rosetti [15]
55Umberto Rugani [77]
56Antonino Sabetta [61] [68] [70] [76] [78]
57Alberto L. Sangiovanni-Vincentelli [52]
58Bernhard Steffen [78]
59Lorenzo Strigini [8] [11] [17]
60Massimo Tivoli [70] [78] [80]
61Jan Tretmans [42]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)