 | 2009 |
|---|
| 80 |       | Antonia Bertolino,
Paola Inverardi,
Patrizio Pelliccione,
Massimo Tivoli:
Automatic synthesis of behavior protocols for composable web-services.
ESEC/SIGSOFT FSE 2009: 141-150 |
| 79 | | Cesare Bartolini,
Antonia Bertolino,
Sebastian G. Elbaum,
Eda Marchetti:
Whitening SOA testing.
ESEC/SIGSOFT FSE 2009: 161-170 |
| 78 | | 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:
CONNECT Challenges: Towards Emergent Connectors for Eternal Networked Systems.
ICECCS 2009: 154-161 |
| 77 | | Massimo 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 |
|---|
| 76 | | Antonia Bertolino,
Guglielmo De Angelis,
Antonino Sabetta:
VCR: Virtual Capture and Replay for Performance Testing.
ASE 2008: 399-402 |
| 75 | | Cesare Bartolini,
Antonia Bertolino,
Eda Marchetti:
Introducing service-oriented coverage testing.
ASE Workshops 2008: 57-64 |
| 74 | | Antonia 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 |
| 73 | | Antonia Bertolino,
Emanuela G. Cartaxo,
Patrícia D. L. Machado,
Eda Marchetti:
Weighting Influence of User Behavior in Software Validation.
DEXA Workshops 2008: 495-500 |
| 72 | | Cesare Bartolini,
Antonia Bertolino,
Eda Marchetti,
Andrea Polini:
Towards Automated WSDL-Based Testing of Web Services.
ICSOC 2008: 524-529 |
| 71 | | Antonia Bertolino,
Guglielmo De Angelis,
Lars Frantzen,
Andrea Polini:
The PLASTIC Framework and Tools for Testing Service-Oriented Applications.
ISSSE 2008: 106-139 |
| 70 | | Antonia 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 |
| 69 | | Antonia Bertolino:
Software Testing Forever: Old and New Processes and Techniques for Validating Today's Applications.
PROFES 2008: 1 |
| 68 | | Antonia Bertolino,
Guglielmo De Angelis,
Francesca Lonetti,
Antonino Sabetta:
Let The Puppets Move! Automated Testbed Generation for Service-oriented Mobile Applications.
SEAA 2008: 321-328 |
| 67 | | Antonia 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 |
| 64 | | Henry Muccini,
Andrea Polini,
Fabiano Ricci,
Antonia Bertolino:
Monitoring Architectural Properties in Dynamic Component-Based Systems.
CBSE 2007: 124-139 |
| 63 | | Eda Marchetti,
Antonia Bertolino:
Profiling and testing within domains to facilitate document exchangeability.
DOSTA 2007: 34-40 |
| 62 | | Antonia Bertolino,
Henry Muccini:
Welcome to the WISE track.
ESEC/SIGSOFT FSE (Companion) 2007: 469 |
| 61 | | Antonia Bertolino,
Guglielmo De Angelis,
Antonino Sabetta,
Sebastian G. Elbaum:
Scaling up SLA monitoring in pervasive environments.
ESSPE 2007: 65-68 |
| 60 | | Antonia Bertolino:
Software Testing Research: Achievements, Challenges, Dreams.
FOSE 2007: 85-103 |
| 59 | | Antonia Bertolino,
Jinghua Gao,
Eda Marchetti,
Andrea Polini:
TAXI - A Tool for XML-Based Testing.
ICSE Companion 2007: 53-54 |
| 58 | | Antonia Bertolino,
Guglielmo De Angelis,
Andrea Polini:
A QoS Test-Bed Generator for Web Services.
ICWE 2007: 17-31 |
| 57 | | Cesare Bartolini,
Antonia Bertolino,
Eda Marchetti,
Ioannis Parissis:
Data Flow-Based Validation of Web Services Compositions: Perspectives and Examples.
WADS 2007: 298-325 |
| 56 | | Antonia Bertolino,
Guglielmo De Angelis,
Andrea Polini:
Automatic generation of test-beds for pre-deployment QoS evaluation of web services.
WOSP 2007: 137-140 |
| 55 | | Muhammad 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) |
| 54 | | Antonia Bertolino,
Eda Marchetti,
Raffaela Mirandola:
Performance measures for supporting project manager decisions.
Software Process: Improvement and Practice 12(2): 141-164 (2007) |
| 2006 |
|---|
| 53 | | Cesare Bartolini,
Antonia Bertolino,
Guglielmo De Angelis,
Giuseppe Lipari:
A UML Profile and a Methodology for Real-Time Systems Design.
EUROMICRO-SEAA 2006: 108-117 |
| 52 | | Antonia Bertolino,
Alvise Bonivento,
Guglielmo De Angelis,
Alberto L. Sangiovanni-Vincentelli:
Modeling and Early Performance Estimation for Network Processor Applications.
MoDELS 2006: 753-767 |
| 51 | | Antonia Bertolino,
Jinghua Gao,
Eda Marchetti,
Andrea Polini:
Systematic Generation of XML Instances to Test Complex Software Applications.
RISE 2006: 114-129 |
| 50 | | Antonia 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 |
| 48 | | Antonia Bertolino,
Alessandro Fantechi,
Stefania Gnesi,
Giuseppe Lami:
Product Line Use Cases: Scenario-Based Specification and Testing of Requirements.
Software Product Lines 2006: 425-445 |
| 47 | | Robert L. Glass,
Ross Collard,
Antonia Bertolino,
James Bach,
Cem Kaner:
Software Testing and Industry Needs.
IEEE Software 23(4): 55-57 (2006) |
| 2005 |
|---|
| 46 | | Antonia Bertolino,
Andrea Polini:
The Audition Framework for Testing Web Services Interoperability.
EUROMICRO-SEAA 2005: 134-142 |
| 45 | | Antonia Bertolino,
Guglielmo De Angelis,
Raffaela Mirandola:
UML-based Design of Network Processors Applications.
EUROMICRO-SEAA 2005: 424-431 |
| 44 | | Antonia Bertolino,
Antonio Bucchiarone,
Stefania Gnesi,
Henry Muccini:
An Architecture-Centric Approach for Producing Quality Systems.
QoSA/SOQUA 2005: 21-37 |
| 43 | | Antonia 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 |
|---|
| 42 | | Antonia 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 |
| 41 | | Antonia Bertolino,
Raffaela Mirandola:
CB-SPE Tool: Putting Component-Based Performance Engineering into Practice.
CBSE 2004: 233-248 |
| 40 | | Sharareh Afsharian,
Antonia Bertolino,
Guglielmo De Angelis,
Paola Iovanna,
Raffaela Mirandola:
A Model Based Approach to Design Applications for Network Processor.
RISE 2004: 93-101 |
| 39 | | Antonia Bertolino,
Raffaela Mirandola:
Software performance engineering of component-based systems.
WOSP 2004: 238-242 |
| 38 | | Antonia Bertolino:
The (Im)maturity level of software testing.
ACM SIGSOFT Software Engineering Notes 29(5): 1-4 (2004) |
| 37 | | Henry Muccini,
Antonia Bertolino,
Paola Inverardi:
Using Software Architecture for Code Testing.
IEEE Trans. Software Eng. 30(3): 160-171 (2004) |
| 2003 |
|---|
| 36 | | Antonia Bertolino:
Software Testing Research and Practice.
Abstract State Machines 2003: 1-21 |
| 35 | | Antonia Bertolino,
Stefania Gnesi:
Use case-based testing of product lines.
ESEC / SIGSOFT FSE 2003: 355-358 |
| 34 | | Antonia Bertolino,
Andrea Polini:
A Framework for Component Deployment Testing.
ICSE 2003: 221-231 |
| 33 | | Antonia Bertolino,
Stefania Gnesi:
PLUTO: A Test Methodology for Product Families.
PFE 2003: 181-197 |
| 32 | | Antonia Bertolino,
Paola Inverardi,
Henry Muccini:
Formal Methods in Testing Software Architectures.
SFM 2003: 122-147 |
| 31 | | Antonia Bertolino,
Eda Marchetti,
Andrea Polini:
Integration of "Components" to Test Software Components.
Electr. Notes Theor. Comput. Sci. 82(6): (2003) |
| 30 | | Antonia Bertolino,
Raffaela Mirandola:
Modeling and Analysis of Non-functional Properties in Component-based Systems.
Electr. Notes Theor. Comput. Sci. 82(6): (2003) |
| 29 | | Martina Marré,
Antonia Bertolino:
Using Spanning Sets for Coverage Testing.
IEEE Trans. Software Eng. 29(11): 974-984 (2003) |
| 2002 |
|---|
| 28 | | Antonia Bertolino,
Andrea Polini:
WCT: A Wrapper for Component Testing.
FIDJI 2002: 165-174 |
| 27 | | Antonia Bertolino:
ISSTA 2002 panel: is ISSTA research relevant to industrial users?
ISSTA 2002: 201-202 |
| 26 | | Francesca Basanieri,
Antonia Bertolino,
Eda Marchetti:
The Cow_Suite Approach to Planning and Deriving Test Suites in UML Projects.
UML 2002: 383-397 |
| 25 | | Antonia 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) |
| 23 | | Mary 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 |
|---|
| 20 | | Antonia Bertolino,
Flavio Corradini,
Paola Inverardi,
Henry Muccini:
Deriving test plans from architectural descriptions.
ICSE 2000: 220-229 |
| 19 | | Antonia Bertolino,
Gail C. Murphy:
An overview of the ICSE 2000 workshop program.
ICSE 2000: 793 |
| 1999 |
|---|
| 18 | | Gaetano 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 |
|---|
| 16 | | István Forgács,
Antonia Bertolino:
Feasible Test Path Selection by Principal Slicing.
ESEC / SIGSOFT FSE 1997: 378-394 |
| 15 | | Antonia Bertolino,
Paola Inverardi,
Henry Muccini,
Andrea Rosetti:
An approach to integration testing based on architectural descriptions.
ICECCS 1997: 77- |
| 14 | | Antonia Bertolino,
Raffaela Mirandola,
Emilia Peciola:
A case study in branch testing automation.
Journal of Systems and Software 38(1): 47-59 (1997) |
| 1996 |
|---|
| 13 | | Martina Marré,
Antonia Bertolino:
Reducing and Estimating the Cost of Test Coverage Criteria.
ICSE 1996: 486-494 |
| 12 | | Martina Marré,
Antonia Bertolino:
Unconstrained Duals and Their Use in Achieving All-Uses Coverage.
ISSTA 1996: 147-157 |
| 11 | | Antonia 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 |
|---|
| 8 | | Antonia 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 |
|---|
| 6 | | Antonia Bertolino,
Martina Marré:
A Meaningful Bound for Branch Testing (Abstract).
ISSTA 1994: 202 |
| 5 | | Antonia 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) |
| 4 | | Antonia Bertolino:
Guest editor's corner achieving quality in software.
Journal of Systems and Software 26(1): 1-3 (1994) |
| 1993 |
|---|
| 3 | | Antonia Bertolino:
Unconstrained edges and their application to branch analysis and testing of programs.
Journal of Systems and Software 20(2): 125-133 (1993) |
| 1991 |
|---|
| 2 | | Antonia 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) |
