The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Antonia Bertolino: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Antonia Bertolino
    Software Testing Research and Practice. [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2003, pp:1-21 [Conf]
  2. 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]
  3. 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]
  4. 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]
  5. 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]
  6. Antonia Bertolino, Andrea Polini
    The Audition Framework for Testing Web Services Interoperability. [Citation Graph (0, 0)][DBLP]
    EUROMICRO-SEAA, 2005, pp:134-142 [Conf]
  7. Antonia Bertolino, Andrea Polini
    WCT: A Wrapper for Component Testing. [Citation Graph (0, 0)][DBLP]
    FIDJI, 2002, pp:165-174 [Conf]
  8. 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]
  9. 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]
  10. 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]
  11. Antonia Bertolino, Gail C. Murphy
    An overview of the ICSE 2000 workshop program. [Citation Graph (0, 0)][DBLP]
    ICSE, 2000, pp:793- [Conf]
  12. Antonia Bertolino, Andrea Polini
    A Framework for Component Deployment Testing. [Citation Graph (0, 0)][DBLP]
    ICSE, 2003, pp:221-231 [Conf]
  13. Antonia Bertolino, Lorenzo Strigini
    Using Testability Measures for Dependability Assessment. [Citation Graph (0, 0)][DBLP]
    ICSE, 1995, pp:61-70 [Conf]
  14. Martina Marré, Antonia Bertolino
    Reducing and Estimating the Cost of Test Coverage Criteria. [Citation Graph (0, 0)][DBLP]
    ICSE, 1996, pp:486-494 [Conf]
  15. Antonia Bertolino
    ISSTA 2002 panel: is ISSTA research relevant to industrial users? [Citation Graph (0, 0)][DBLP]
    ISSTA, 2002, pp:201-202 [Conf]
  16. Antonia Bertolino, Martina Marré
    A Meaningful Bound for Branch Testing (Abstract). [Citation Graph (0, 0)][DBLP]
    ISSTA, 1994, pp:202- [Conf]
  17. 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]
  18. 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]
  19. Antonia Bertolino, Stefania Gnesi
    PLUTO: A Test Methodology for Product Families. [Citation Graph (0, 0)][DBLP]
    PFE, 2003, pp:181-197 [Conf]
  20. 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]
  21. 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]
  22. Antonia Bertolino, Paola Inverardi, Henry Muccini
    Formal Methods in Testing Software Architectures. [Citation Graph (0, 0)][DBLP]
    SFM, 2003, pp:122-147 [Conf]
  23. Antonia Bertolino, Stefania Gnesi
    Use case-based testing of product lines. [Citation Graph (0, 0)][DBLP]
    ESEC / SIGSOFT FSE, 2003, pp:355-358 [Conf]
  24. 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]
  25. Antonia Bertolino
    Software Testing for Dependability Assessment. [Citation Graph (0, 0)][DBLP]
    Objective Software Quality, 1995, pp:236-248 [Conf]
  26. 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]
  27. Antonia Bertolino, Jinghua Gao, Eda Marchetti
    XML Every-Flavor Testing. [Citation Graph (0, 0)][DBLP]
    WEBIST (1), 2006, pp:268-273 [Conf]
  28. Antonia Bertolino, Raffaela Mirandola
    Software performance engineering of component-based systems. [Citation Graph (0, 0)][DBLP]
    WOSP, 2004, pp:238-242 [Conf]
  29. 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]
  30. 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]
  31. 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]
  32. 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]
  33. 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]
  34. 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]
  35. 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]
  36. 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]
  37. 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]
  38. 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]
  39. 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]
  40. 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]
  41. 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]
  42. 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]
  43. 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]
  44. 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]
  45. 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]
  46. 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]
  47. 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]
  48. 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]
  49. 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]
  50. 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]
  51. 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]
  52. 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]
  53. 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]
  54. 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]

  55. Weighting Influence of User Behavior in Software Validation. [Citation Graph (, )][DBLP]


  56. CONNECT Challenges: Towards Emergent Connectors for Eternal Networked Systems. [Citation Graph (, )][DBLP]


  57. Data Flow-Based Validation of Web Services Compositions: Perspectives and Examples. [Citation Graph (, )][DBLP]


  58. Software Testing Research: Achievements, Challenges, Dreams. [Citation Graph (, )][DBLP]


  59. Automated testing of healthcare document transformations in the PICASSO interoperability platform. [Citation Graph (, )][DBLP]


  60. Automatic Test Data Generation for XML Schema-based Partition Testing. [Citation Graph (, )][DBLP]


  61. Towards Automated WSDL-Based Testing of Web Services. [Citation Graph (, )][DBLP]


  62. A Framework for Analyzing and Testing the Performance of Software Services. [Citation Graph (, )][DBLP]


  63. VCR: Virtual Capture and Replay for Performance Testing. [Citation Graph (, )][DBLP]


  64. PLASTIC: Providing lightweight & adaptable service technology for pervasive information & communication. [Citation Graph (, )][DBLP]


  65. Introducing service-oriented coverage testing. [Citation Graph (, )][DBLP]


  66. Software Testing Forever: Old and New Processes and Techniques for Validating Today's Applications. [Citation Graph (, )][DBLP]


  67. Model-Based Generation of Testbeds for Web Services. [Citation Graph (, )][DBLP]


  68. Profiling and testing within domains to facilitate document exchangeability. [Citation Graph (, )][DBLP]


  69. Welcome to the WISE track. [Citation Graph (, )][DBLP]


  70. Scaling up SLA monitoring in pervasive environments. [Citation Graph (, )][DBLP]


  71. Whitening SOA testing. [Citation Graph (, )][DBLP]


  72. Automatic synthesis of behavior protocols for composable web-services. [Citation Graph (, )][DBLP]


  73. WS-TAXI: A WSDL-based Testing Tool for Web Services. [Citation Graph (, )][DBLP]


  74. Let The Puppets Move! Automated Testbed Generation for Service-oriented Mobile Applications. [Citation Graph (, )][DBLP]


  75. The PLASTIC Framework and Tools for Testing Service-Oriented Applications. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.459secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002