Search the dblp DataBase
Antonia Bertolino :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Antonia Bertolino Software Testing Research and Practice. [Citation Graph (0, 0)][DBLP ] Abstract State Machines, 2003, pp:1-21 [Conf ] Antonia Bertolino , Raffaela Mirandola CB-SPE Tool: Putting Component-Based Performance Engineering into Practice. [Citation Graph (0, 0)][DBLP ] CBSE, 2004, pp:233-248 [Conf ] Antonia Bertolino , Lars Frantzen , Andrea Polini , Jan Tretmans Audition of Web Services for Testing Conformance to Open Specified Protocols. [Citation Graph (0, 0)][DBLP ] Architecting Systems with Trustworthy Components, 2004, pp:1-25 [Conf ] István Forgács , Antonia Bertolino Feasible Test Path Selection by Principal Slicing. [Citation Graph (0, 0)][DBLP ] ESEC / SIGSOFT FSE, 1997, pp:378-394 [Conf ] Antonia Bertolino , Guglielmo De Angelis , Raffaela Mirandola UML-based Design of Network Processors Applications. [Citation Graph (0, 0)][DBLP ] EUROMICRO-SEAA, 2005, pp:424-431 [Conf ] Antonia Bertolino , Andrea Polini The Audition Framework for Testing Web Services Interoperability. [Citation Graph (0, 0)][DBLP ] EUROMICRO-SEAA, 2005, pp:134-142 [Conf ] Antonia Bertolino , Andrea Polini WCT: A Wrapper for Component Testing. [Citation Graph (0, 0)][DBLP ] FIDJI, 2002, pp:165-174 [Conf ] Antonia Bertolino , Paola Inverardi , Henry Muccini , Andrea Rosetti An approach to integration testing based on architectural descriptions. [Citation Graph (0, 0)][DBLP ] ICECCS, 1997, pp:77-0 [Conf ] Antonia Bertolino , Flavio Corradini , Paola Inverardi , Henry Muccini Deriving test plans from architectural descriptions. [Citation Graph (0, 0)][DBLP ] ICSE, 2000, pp:220-229 [Conf ] Antonia Bertolino , Paola Inverardi , Henry Muccini An Explorative Journey from Architectural Tests Definition downto Code Tests Execution. [Citation Graph (0, 0)][DBLP ] ICSE, 2001, pp:211-220 [Conf ] Antonia Bertolino , Gail C. Murphy An overview of the ICSE 2000 workshop program. [Citation Graph (0, 0)][DBLP ] ICSE, 2000, pp:793- [Conf ] Antonia Bertolino , Andrea Polini A Framework for Component Deployment Testing. [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:221-231 [Conf ] Antonia Bertolino , Lorenzo Strigini Using Testability Measures for Dependability Assessment. [Citation Graph (0, 0)][DBLP ] ICSE, 1995, pp:61-70 [Conf ] Martina Marré , Antonia Bertolino Reducing and Estimating the Cost of Test Coverage Criteria. [Citation Graph (0, 0)][DBLP ] ICSE, 1996, pp:486-494 [Conf ] Antonia Bertolino ISSTA 2002 panel: is ISSTA research relevant to industrial users? [Citation Graph (0, 0)][DBLP ] ISSTA, 2002, pp:201-202 [Conf ] Antonia Bertolino , Martina Marré A Meaningful Bound for Branch Testing (Abstract). [Citation Graph (0, 0)][DBLP ] ISSTA, 1994, pp:202- [Conf ] Martina Marré , Antonia Bertolino Unconstrained Duals and Their Use in Achieving All-Uses Coverage. [Citation Graph (0, 0)][DBLP ] ISSTA, 1996, pp:147-157 [Conf ] Antonia Bertolino , Alvise Bonivento , Guglielmo De Angelis , Alberto L. Sangiovanni-Vincentelli Modeling and Early Performance Estimation for Network Processor Applications. [Citation Graph (0, 0)][DBLP ] MoDELS, 2006, pp:753-767 [Conf ] Antonia Bertolino , Stefania Gnesi PLUTO: A Test Methodology for Product Families. [Citation Graph (0, 0)][DBLP ] PFE, 2003, pp:181-197 [Conf ] Sharareh Afsharian , Antonia Bertolino , Guglielmo De Angelis , Paola Iovanna , Raffaela Mirandola A Model Based Approach to Design Applications for Network Processor. [Citation Graph (0, 0)][DBLP ] RISE, 2004, pp:93-101 [Conf ] Gaetano Lombardi , Emilia Peciola , Raffaela Mirandola , Antonia Bertolino , Eda Marchetti Towards Statistical Control of an Industrial Test Process. [Citation Graph (0, 0)][DBLP ] SAFECOMP, 1999, pp:260-271 [Conf ] Antonia Bertolino , Paola Inverardi , Henry Muccini Formal Methods in Testing Software Architectures. [Citation Graph (0, 0)][DBLP ] SFM, 2003, pp:122-147 [Conf ] Antonia Bertolino , Stefania Gnesi Use case-based testing of product lines. [Citation Graph (0, 0)][DBLP ] ESEC / SIGSOFT FSE, 2003, pp:355-358 [Conf ] Antonia Bertolino , Antonio Bucchiarone , Stefania Gnesi , Henry Muccini An Architecture-Centric Approach for Producing Quality Systems. [Citation Graph (0, 0)][DBLP ] QoSA/SOQUA, 2005, pp:21-37 [Conf ] Antonia Bertolino Software Testing for Dependability Assessment. [Citation Graph (0, 0)][DBLP ] Objective Software Quality, 1995, pp:236-248 [Conf ] Francesca Basanieri , Antonia Bertolino , Eda Marchetti The Cow_Suite Approach to Planning and Deriving Test Suites in UML Projects. [Citation Graph (0, 0)][DBLP ] UML, 2002, pp:383-397 [Conf ] Antonia Bertolino , Jinghua Gao , Eda Marchetti XML Every-Flavor Testing. [Citation Graph (0, 0)][DBLP ] WEBIST (1), 2006, pp:268-273 [Conf ] Antonia Bertolino , Raffaela Mirandola Software performance engineering of component-based systems. [Citation Graph (0, 0)][DBLP ] WOSP, 2004, pp:238-242 [Conf ] Antonia Bertolino , Eda Marchetti , Raffaela Mirandola Real-tiem UML-based performance engineering to aid manager's decisions in multi-project planning. [Citation Graph (0, 0)][DBLP ] Workshop on Software and Performance, 2002, pp:251-261 [Conf ] Antonia Bertolino , Guglielmo De Angelis , Andrea Polini Automatic generation of test-beds for pre-deployment QoS evaluation of web services. [Citation Graph (0, 0)][DBLP ] WOSP, 2007, pp:137-140 [Conf ] Paolo Ancilotti , Antonia Bertolino , Mario Fusani An Approach to Efficient Distributed Transactions. [Citation Graph (0, 0)][DBLP ] Distributed Computing, 1988, v:2, n:4, pp:201-212 [Journal ] Antonia Bertolino , Raffaela Mirandola Modeling and Analysis of Non-functional Properties in Component-based Systems. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2003, v:82, n:6, pp:- [Journal ] Antonia Bertolino , Eda Marchetti , Henry Muccini Introducing a Reasonably Complete and Coherent Approach for Model-based Testing. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2005, v:116, n:, pp:85-97 [Journal ] Antonia Bertolino , Eda Marchetti , Andrea Polini Integration of "Components" to Test Software Components. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2003, v:82, n:6, pp:- [Journal ] 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. [Citation Graph (0, 0)][DBLP ] IEE Proceedings - Software, 2002, v:149, n:4, pp:93-101 [Journal ] Antonia Bertolino An overview of automated software testing. [Citation Graph (0, 0)][DBLP ] Journal of Systems and Software, 1991, v:15, n:2, pp:133-138 [Journal ] Antonia Bertolino Unconstrained edges and their application to branch analysis and testing of programs. [Citation Graph (0, 0)][DBLP ] Journal of Systems and Software, 1993, v:20, n:2, pp:125-133 [Journal ] Antonia Bertolino Guest editor's corner achieving quality in software. [Citation Graph (0, 0)][DBLP ] Journal of Systems and Software, 1994, v:26, n:1, pp:1-3 [Journal ] Antonia Bertolino , Martina Marré How Many Paths are Needed for Branch Testing? [Citation Graph (0, 0)][DBLP ] Journal of Systems and Software, 1996, v:35, n:2, pp:95-106 [Journal ] Antonia Bertolino , Raffaela Mirandola , Emilia Peciola A case study in branch testing automation. [Citation Graph (0, 0)][DBLP ] Journal of Systems and Software, 1997, v:38, n:1, pp:47-59 [Journal ] Antonia Bertolino Software Assessment: Reliability, Safety, Testability, by Michael A. Friedman and Jeffrey M. Voas, Wiley, 1995 (Book Review). [Citation Graph (0, 0)][DBLP ] Softw. Test., Verif. Reliab., 1996, v:6, n:2, pp:113-115 [Journal ] Antonia Bertolino , Lorenzo Strigini Assessing the Risk due to Software Faults: Estimates of Failure Rate versus Evidence of Perfection. [Citation Graph (0, 0)][DBLP ] Softw. Test., Verif. Reliab., 1998, v:8, n:3, pp:155-166 [Journal ] István Forgács , Antonia Bertolino Preventing untestedness in data-flow based testing. [Citation Graph (0, 0)][DBLP ] Softw. Test., Verif. Reliab., 2002, v:12, n:1, pp:29-58 [Journal ] Antonia Bertolino , Martina Marré Automatic Generation of Path Covers Based on the Control Flow Analysis of Computer Programs. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1994, v:20, n:12, pp:885-899 [Journal ] Antonia Bertolino , Lorenzo Strigini On the Use of Testability Measures for Dependability Assessment. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1996, v:22, n:2, pp:97-108 [Journal ] Mary Jean Harrold , Antonia Bertolino Guest Editors' Introduction: 2000 International Symposium on Software Testing and Analysis. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 2002, v:28, n:2, pp:113-114 [Journal ] Martina Marré , Antonia Bertolino Using Spanning Sets for Coverage Testing. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 2003, v:29, n:11, pp:974-984 [Journal ] Henry Muccini , Antonia Bertolino , Paola Inverardi Using Software Architecture for Code Testing. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 2004, v:30, n:3, pp:160-171 [Journal ] Henry Muccini , Andrea Polini , Fabiano Ricci , Antonia Bertolino Monitoring Architectural Properties in Dynamic Component-Based Systems. [Citation Graph (0, 0)][DBLP ] CBSE, 2007, pp:124-139 [Conf ] Cesare Bartolini , Antonia Bertolino , Guglielmo De Angelis , Giuseppe Lipari A UML Profile and a Methodology for Real-Time Systems Design. [Citation Graph (0, 0)][DBLP ] EUROMICRO-SEAA, 2006, pp:108-117 [Conf ] Antonia Bertolino , Jinghua Gao , Eda Marchetti , Andrea Polini TAXI - A Tool for XML-Based Testing. [Citation Graph (0, 0)][DBLP ] ICSE Companion, 2007, pp:53-54 [Conf ] Antonia Bertolino , Guglielmo De Angelis , Andrea Polini A QoS Test-Bed Generator for Web Services. [Citation Graph (0, 0)][DBLP ] ICWE, 2007, pp:17-31 [Conf ] Antonia Bertolino , Jinghua Gao , Eda Marchetti , Andrea Polini Systematic Generation of XML Instances to Test Complex Software Applications. [Citation Graph (0, 0)][DBLP ] RISE, 2006, pp:114-129 [Conf ] Antonia Bertolino , Henry Muccini , Andrea Polini Architectural Verification of Black-Box Component-Based Systems. [Citation Graph (0, 0)][DBLP ] RISE, 2006, pp:98-113 [Conf ] Weighting Influence of User Behavior in Software Validation. [Citation Graph (, )][DBLP ] CONNECT Challenges: Towards Emergent Connectors for Eternal Networked Systems. [Citation Graph (, )][DBLP ] Data Flow-Based Validation of Web Services Compositions: Perspectives and Examples. [Citation Graph (, )][DBLP ] Software Testing Research: Achievements, Challenges, Dreams. [Citation Graph (, )][DBLP ] Automated testing of healthcare document transformations in the PICASSO interoperability platform. [Citation Graph (, )][DBLP ] Automatic Test Data Generation for XML Schema-based Partition Testing. [Citation Graph (, )][DBLP ] Towards Automated WSDL-Based Testing of Web Services. [Citation Graph (, )][DBLP ] A Framework for Analyzing and Testing the Performance of Software Services. [Citation Graph (, )][DBLP ] VCR: Virtual Capture and Replay for Performance Testing. [Citation Graph (, )][DBLP ] PLASTIC: Providing lightweight & adaptable service technology for pervasive information & communication. [Citation Graph (, )][DBLP ] Introducing service-oriented coverage testing. [Citation Graph (, )][DBLP ] Software Testing Forever: Old and New Processes and Techniques for Validating Today's Applications. [Citation Graph (, )][DBLP ] Model-Based Generation of Testbeds for Web Services. [Citation Graph (, )][DBLP ] Profiling and testing within domains to facilitate document exchangeability. [Citation Graph (, )][DBLP ] Welcome to the WISE track. [Citation Graph (, )][DBLP ] Scaling up SLA monitoring in pervasive environments. [Citation Graph (, )][DBLP ] Whitening SOA testing. [Citation Graph (, )][DBLP ] Automatic synthesis of behavior protocols for composable web-services. [Citation Graph (, )][DBLP ] WS-TAXI: A WSDL-based Testing Tool for Web Services. [Citation Graph (, )][DBLP ] Let The Puppets Move! Automated Testbed Generation for Service-oriented Mobile Applications. [Citation Graph (, )][DBLP ] The PLASTIC Framework and Tools for Testing Service-Oriented Applications. [Citation Graph (, )][DBLP ] Search in 0.004secs, Finished in 0.459secs