| 2007 |
|---|
| 60 | | 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 |
| 59 | EE | Henry Muccini,
Andrea Polini,
Fabiano Ricci,
Antonia Bertolino:
Monitoring Architectural Properties in Dynamic Component-Based Systems.
CBSE 2007: 124-139 |
| 58 | EE | Antonia Bertolino,
Jinghua Gao,
Eda Marchetti,
Andrea Polini:
TAXI - A Tool for XML-Based Testing.
ICSE Companion 2007: 53-54 |
| 57 | EE | Antonia Bertolino,
Guglielmo De Angelis,
Andrea Polini:
A QoS Test-Bed Generator for Web Services.
ICWE 2007: 17-31 |
| 56 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | Antonia Bertolino,
Jinghua Gao,
Eda Marchetti,
Andrea Polini:
Systematic Generation of XML Instances to Test Complex Software Applications.
RISE 2006: 114-129 |
| 50 | EE | 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 | EE | 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 | EE | 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 | EE | Antonia Bertolino,
Andrea Polini:
The Audition Framework for Testing Web Services Interoperability.
EUROMICRO-SEAA 2005: 134-142 |
| 45 | EE | Antonia Bertolino,
Guglielmo De Angelis,
Raffaela Mirandola:
UML-based Design of Network Processors Applications.
EUROMICRO-SEAA 2005: 424-431 |
| 44 | EE | Antonia Bertolino,
Antonio Bucchiarone,
Stefania Gnesi,
Henry Muccini:
An Architecture-Centric Approach for Producing Quality Systems.
QoSA/SOQUA 2005: 21-37 |
| 43 | EE | 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 | EE | 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 | EE | Antonia Bertolino,
Raffaela Mirandola:
CB-SPE Tool: Putting Component-Based Performance Engineering into Practice.
CBSE 2004: 233-248 |
| 40 | EE | 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 | EE | Antonia Bertolino,
Raffaela Mirandola:
Software performance engineering of component-based systems.
WOSP 2004: 238-242 |
| 38 | EE | Antonia Bertolino:
The (Im)maturity level of software testing.
ACM SIGSOFT Software Engineering Notes 29(5): 1-4 (2004) |
| 37 | EE | Henry Muccini,
Antonia Bertolino,
Paola Inverardi:
Using Software Architecture for Code Testing.
IEEE Trans. Software Eng. 30(3): 160-171 (2004) |
| 2003 |
|---|
| 36 | EE | Antonia Bertolino:
Software Testing Research and Practice.
Abstract State Machines 2003: 1-21 |
| 35 | EE | Antonia Bertolino,
Stefania Gnesi:
Use case-based testing of product lines.
ESEC / SIGSOFT FSE 2003: 355-358 |
| 34 | EE | Antonia Bertolino,
Andrea Polini:
A Framework for Component Deployment Testing.
ICSE 2003: 221-231 |
| 33 | EE | Antonia Bertolino,
Stefania Gnesi:
PLUTO: A Test Methodology for Product Families.
PFE 2003: 181-197 |
| 32 | EE | Antonia Bertolino,
Paola Inverardi,
Henry Muccini:
Formal Methods in Testing Software Architectures.
SFM 2003: 122-147 |
| 31 | EE | Antonia Bertolino,
Eda Marchetti,
Andrea Polini:
Integration of "Components" to Test Software Components.
Electr. Notes Theor. Comput. Sci. 82(6): (2003) |
| 30 | EE | Antonia Bertolino,
Raffaela Mirandola:
Modeling and Analysis of Non-functional Properties in Component-based Systems.
Electr. Notes Theor. Comput. Sci. 82(6): (2003) |
| 29 | EE | Martina Marré,
Antonia Bertolino:
Using Spanning Sets for Coverage Testing.
IEEE Trans. Software Eng. 29(11): 974-984 (2003) |
| 2002 |
|---|
| 28 | EE | Antonia Bertolino,
Andrea Polini:
WCT: A Wrapper for Component Testing.
FIDJI 2002: 165-174 |
| 27 | EE | Antonia Bertolino:
ISSTA 2002 panel: is ISSTA research relevant to industrial users?
ISSTA 2002: 201-202 |
| 26 | EE | Francesca Basanieri,
Antonia Bertolino,
Eda Marchetti:
The Cow_Suite Approach to Planning and Deriving Test Suites in UML Projects.
UML 2002: 383-397 |
| 25 | EE | 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 | EE | 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 | EE | Antonia Bertolino,
Flavio Corradini,
Paola Inverardi,
Henry Muccini:
Deriving test plans from architectural descriptions.
ICSE 2000: 220-229 |
| 19 | EE | Antonia Bertolino,
Gail C. Murphy:
An overview of the ICSE 2000 workshop program.
ICSE 2000: 793 |
| 1999 |
|---|
| 18 | EE | 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 | EE | István Forgács,
Antonia Bertolino:
Feasible Test Path Selection by Principal Slicing.
ESEC / SIGSOFT FSE 1997: 378-394 |
| 15 | EE | Antonia Bertolino,
Paola Inverardi,
Henry Muccini,
Andrea Rosetti:
An approach to integration testing based on architectural descriptions.
ICECCS 1997: 77- |
| 14 | EE | 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 | EE | Martina Marré,
Antonia Bertolino:
Reducing and Estimating the Cost of Test Coverage Criteria.
ICSE 1996: 486-494 |
| 12 | EE | Martina Marré,
Antonia Bertolino:
Unconstrained Duals and Their Use in Achieving All-Uses Coverage.
ISSTA 1996: 147-157 |
| 11 | EE | 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 | EE | 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 | EE | Antonia Bertolino,
Martina Marré:
A Meaningful Bound for Branch Testing (Abstract).
ISSTA 1994: 202 |
| 5 | EE | 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 | EE | Antonia Bertolino:
Guest editor's corner achieving quality in software.
Journal of Systems and Software 26(1): 1-3 (1994) |
| 1993 |
|---|
| 3 | EE | 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 | EE | 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) |
