| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Antonia Bertolino, Guglielmo De Angelis, Sampo Kellomaki, Andrea Polini |
Enhancing Service Federation Trustworthiness through Online Testing.  |
IEEE Computer  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonia Bertolino, Antonello Calabrò, Maik Merten, Bernhard Steffen |
Never-stop Learning: Continuous Validation of Learned Models for Evolving Systems through Monitoring. |
ERCIM News |
2012 |
DBLP BibTeX RDF |
|
| 1 | Amira Ben Hamida, Fabio Kon, Gustavo Ansaldi Oliva, Carlos Eduardo Moreira Dos Santos, Jean-Pierre Lorré, Marco Autili, Guglielmo De Angelis, Apostolos Zarras, Nikolaos Georgantas, Valérie Issarny, Antonia Bertolino |
An Integrated Development and Runtime Environment for the Future Internet. |
Future Internet Assembly |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonia Bertolino, Guglielmo De Angelis, Alessio Di Sandro, Antonino Sabetta |
Is my model right? Let me ask the expert. |
Journal of Systems and Software |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Cesare Bartolini, Antonia Bertolino, Sebastian G. Elbaum, Eda Marchetti |
Bringing white-box testing to Service Oriented Architectures through a Service Oriented Approach. |
Journal of Systems and Software |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonia Bertolino, Guglielmo De Angelis, Andrea Polini |
(role)CAST: A Framework for On-line Service Testing. |
WEBIST |
2011 |
DBLP BibTeX RDF |
|
| 1 | Antonia Bertolino |
Towards Ensuring Eternal Connectability. |
ICSOFT |
2011 |
DBLP BibTeX RDF |
|
| 1 | Antinisca Di Marco, Claudio Pompilio, Antonia Bertolino, Antonello Calabrò, Francesca Lonetti, Antonino Sabetta |
Yet another meta-model to specify non-functional properties. |
QASBA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Denitsa Manova, Sylvia Ilieva, Francesca Lonetti, Antonia Bertolino, Cesare Bartolini |
Towards automated robustness testing of BPEL orchestrators. |
CompSysTech |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcelo Medeiros Eler, Antonia Bertolino, Paulo Cesar Masiero |
More testable service compositions by test metadata. |
SOSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sylvia Ilieva, Denitsa Manova, Ilina Manova, Cesare Bartolini, Antonia Bertolino, Francesca Lonetti |
An automated approach to robustness testing of BPEL orchestrations. |
SOSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonia Bertolino, Antonello Calabrò, Francesca Lonetti, Antinisca Di Marco, Antonino Sabetta |
Towards a Model-Driven Infrastructure for Runtime Monitoring. |
SERENE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonia Bertolino, Antonello Calabrò, Felicita Di Giandomenico, Nicola Nostro |
Dependability and Performance Assessment of Dynamic CONNECTed Systems. |
SFM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | W. Eric Wong, Antonia Bertolino, Vidroha Debroy, Aditya P. Mathur, Jeff Offutt, Mladen A. Vouk |
Teaching software testing: Experiences, lessons learned and the path forward. |
CSEE&T |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivica Crnkovic, Judith A. Stafford, Antonia Bertolino, Kendra M. L. Cooper (eds.) |
Proceedings of the 14th International ACM Sigsoft Symposium on Component Based Software Engineering, CBSE 2011, part of Comparch '11 Federated Events on Component-Based Software Engineering and Software Architecture, Boulder, CO, USA, June 20-24, 2011 |
CBSE |
2011 |
DBLP BibTeX RDF |
|
| 1 | Antonia Bertolino, Antonello Calabrò, Felicita Di Giandomenico, Marco Martinucci, Paolo Masci |
Automated Refinement of Dependability Analysis through Monitoring in Dynamically Connected Systems. |
ISADS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Howard Foster, Antonia Bertolino, J. Jenny Li |
Sixth international workshop on automation of software test: (AST 2011). |
ICSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonia Bertolino |
Quality in ICT Verification and Validation. |
QUATIC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonia Bertolino, Paola Inverardi, Valérie Issarny, Antonino Sabetta, Romina Spalazzese |
On-the-Fly Interoperability through Automated Mediator Synthesis and Monitoring. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonia Bertolino, Francesca Lonetti, Eda Marchetti |
Systematic XACML Request Generation for Testing Purposes. |
EUROMICRO-SEAA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Cesare Bartolini, Antonia Bertolino, Eda Marchetti, Andrea Polini |
WS-TAXI: A WSDL-based Testing Tool for Web Services. |
ICST |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonia Bertolino, Paola Inverardi, Patrizio Pelliccione, Massimo Tivoli |
Automatic synthesis of behavior protocols for composable web-services. |
ESEC/SIGSOFT FSE |
2009 |
DBLP DOI BibTeX RDF |
web-services, testing, automatic synthesis, behavior protocols |
| 1 | Cesare Bartolini, Antonia Bertolino, Sebastian G. Elbaum, Eda Marchetti |
Whitening SOA testing. |
ESEC/SIGSOFT FSE |
2009 |
DBLP DOI BibTeX RDF |
coverage adequacy criteria, testing web services, service-oriented architecture, white-box testing |
| 1 | Cesare Bartolini, Antonia Bertolino, Eda Marchetti |
Introducing service-oriented coverage testing. |
ASE Workshops |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonia Bertolino, Guglielmo De Angelis, Antonino Sabetta |
VCR: Virtual Capture and Replay for Performance Testing. |
ASE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonia Bertolino, Guglielmo De Angelis, Francesca Lonetti, Antonino Sabetta |
Let The Puppets Move! Automated Testbed Generation for Service-oriented Mobile Applications. |
EUROMICRO-SEAA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonia Bertolino, Guglielmo De Angelis, Lars Frantzen, Andrea Polini |
Model-Based Generation of Testbeds for Web Services. |
TestCom/FATES |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Cesare Bartolini, Antonia Bertolino, Eda Marchetti, Andrea Polini |
Towards Automated WSDL-Based Testing of Web Services. |
ICSOC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonia Bertolino |
Software Testing Forever: Old and New Processes and Techniques for Validating Today's Applications. |
PROFES |
2008 |
DBLP DOI BibTeX RDF |
Software testing research challenges, Testing and monitoring of dynamic systems, Testing for functional and non-functional properties |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonia Bertolino, Guglielmo De Angelis, Lars Frantzen, Andrea Polini |
The PLASTIC Framework and Tools for Testing Service-Oriented Applications. |
ISSSE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonia Bertolino, Emanuela G. Cartaxo, Patrícia D. L. Machado, Eda Marchetti |
Weighting Influence of User Behavior in Software Validation. |
DEXA Workshops |
2008 |
DBLP DOI BibTeX RDF |
value based testing, weighted Similarity Approach, usability |
| 1 | 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. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonia Bertolino, Eda Marchetti, Raffaela Mirandola |
Performance measures for supporting project manager decisions. |
Software Process: Improvement and Practice |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonia Bertolino, Guglielmo De Angelis, Andrea Polini |
A QoS Test-Bed Generator for Web Services. |
ICWE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Henry Muccini, Andrea Polini, Fabiano Ricci, Antonia Bertolino |
Monitoring Architectural Properties in Dynamic Component-Based Systems. |
CBSE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonia Bertolino, Jinghua Gao, Eda Marchetti, Andrea Polini |
Automatic Test Data Generation for XML Schema-based Partition Testing. |
AST |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonia Bertolino, Jinghua Gao, Eda Marchetti, Andrea Polini |
TAXI - A Tool for XML-Based Testing. |
ICSE Companion |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonia Bertolino |
Software Testing Research: Achievements, Challenges, Dreams. |
FOSE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Cesare Bartolini, Antonia Bertolino, Eda Marchetti, Ioannis Parissis |
Data Flow-Based Validation of Web Services Compositions: Perspectives and Examples. |
WADS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonia Bertolino, Guglielmo De Angelis, Andrea Polini |
Automatic generation of test-beds for pre-deployment QoS evaluation of web services. |
WOSP |
2007 |
DBLP DOI BibTeX RDF |
empirical QoS evaluation, web services, WS-agreement |
| 1 | Ivica Crnkovic, Antonia Bertolino (eds.) |
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 |
ESEC/SIGSOFT FSE |
2007 |
DBLP BibTeX RDF |
|
| 1 | Antonia Bertolino, Henry Muccini |
Welcome to the WISE track. |
ESEC/SIGSOFT FSE (Companion) |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivica Crnkovic, Antonia Bertolino (eds.) |
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 |
ESEC/SIGSOFT FSE (Companion) |
2007 |
DBLP BibTeX RDF |
|
| 1 | Antonia Bertolino, Guglielmo De Angelis, Antonino Sabetta, Sebastian G. Elbaum |
Scaling up SLA monitoring in pervasive environments. |
ESSPE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Eda Marchetti, Antonia Bertolino |
Profiling and testing within domains to facilitate document exchangeability. |
DOSTA |
2007 |
DBLP DOI BibTeX RDF |
automatic conformance testing, clinical document, XML schema |
| 1 | Robert L. Glass, Ross Collard, Antonia Bertolino, James Bach, Cem Kaner |
Software Testing and Industry Needs. |
IEEE Software |
2006 |
DBLP DOI BibTeX RDF |
software testing |
| 1 | Antonia Bertolino, Jinghua Gao, Eda Marchetti |
XML Every-Flavor Testing. |
WEBIST |
2006 |
DBLP BibTeX RDF |
|
| 1 | Antonia Bertolino, Alessandro Fantechi, Stefania Gnesi, Giuseppe Lami |
Product Line Use Cases: Scenario-Based Specification and Testing of Requirements. |
Software Product Lines |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonia Bertolino, Jinghua Gao, Eda Marchetti, Andrea Polini |
Systematic Generation of XML Instances to Test Complex Software Applications. |
RISE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonia Bertolino, Henry Muccini, Andrea Polini |
Architectural Verification of Black-Box Component-Based Systems. |
RISE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonia Bertolino, Alvise Bonivento, Guglielmo De Angelis, Alberto L. Sangiovanni-Vincentelli |
Modeling and Early Performance Estimation for Network Processor Applications. |
MoDELS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Cesare Bartolini, Antonia Bertolino, Guglielmo De Angelis, Giuseppe Lipari |
A UML Profile and a Methodology for Real-Time Systems Design. |
EUROMICRO-SEAA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonia Bertolino, Eda Marchetti, Henry Muccini |
Introducing a Reasonably Complete and Coherent Approach for Model-based Testing. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonia Bertolino, Antonio Bucchiarone, Stefania Gnesi, Henry Muccini |
An Architecture-Centric Approach for Producing Quality Systems. |
QoSA/SOQUA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonia Bertolino, Andrea Polini |
The Audition Framework for Testing Web Services Interoperability. |
EUROMICRO-SEAA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonia Bertolino, Guglielmo De Angelis, Raffaela Mirandola |
UML-based Design of Network Processors Applications. |
EUROMICRO-SEAA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Henry Muccini, Antonia Bertolino, Paola Inverardi |
Using Software Architecture for Code Testing. |
IEEE Trans. Software Eng. |
2004 |
DBLP DOI BibTeX RDF |
Software engineering, software architectures, tracing, testing strategies, testing and debugging |
| 1 | Antonia Bertolino |
The (Im)maturity level of software testing. |
ACM SIGSOFT Software Engineering Notes |
2004 |
DBLP DOI BibTeX RDF |
comparisons of test techniques, software testing maturity, test patterns |
| 1 | Sharareh Afsharian, Antonia Bertolino, Guglielmo De Angelis, Paola Iovanna, Raffaela Mirandola |
A Model Based Approach to Design Applications for Network Processor. |
RISE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonia Bertolino, Raffaela Mirandola |
CB-SPE Tool: Putting Component-Based Performance Engineering into Practice. |
CBSE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonia Bertolino, Raffaela Mirandola |
Software performance engineering of component-based systems. |
WOSP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Martina Marré, Antonia Bertolino |
Using Spanning Sets for Coverage Testing. |
IEEE Trans. Software Eng. |
2003 |
DBLP DOI BibTeX RDF |
ddgraph, spanning sets, data flow, Control flow, subsumption, coverage criteria |
| 1 | Antonia Bertolino, Eda Marchetti, Andrea Polini |
Integration of "Components" to Test Software Components. |
Electr. Notes Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonia Bertolino, Raffaela Mirandola |
Modeling and Analysis of Non-functional Properties in Component-based Systems. |
Electr. Notes Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonia Bertolino, Stefania Gnesi |
PLUTO: A Test Methodology for Product Families. |
PFE |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonia Bertolino, Paola Inverardi, Henry Muccini |
Formal Methods in Testing Software Architectures. |
SFM |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonia Bertolino, Andrea Polini |
A Framework for Component Deployment Testing. (PDF / PS) |
ICSE |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonia Bertolino, Stefania Gnesi |
Use case-based testing of product lines. |
ESEC / SIGSOFT FSE |
2003 |
DBLP DOI BibTeX RDF |
use cases, product lines, black box testing |
| 1 | Antonia Bertolino |
Software Testing Research and Practice. |
Abstract State Machines |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Mary Jean Harrold, Antonia Bertolino |
Guest Editors' Introduction: 2000 International Symposium on Software Testing and Analysis. |
IEEE Trans. Software Eng. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2002 |
DBLP BibTeX RDF |
|
| 1 | István Forgács, Antonia Bertolino |
Preventing untestedness in data-flow based testing. |
Softw. Test., Verif. Reliab. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonia Bertolino, Andrea Polini |
WCT: A Wrapper for Component Testing. |
FIDJI |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonia Bertolino |
ISSTA 2002 panel: is ISSTA research relevant to industrial users? |
ISSTA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesca Basanieri, Antonia Bertolino, Eda Marchetti |
The Cow_Suite Approach to Planning and Deriving Test Suites in UML Projects. |
UML |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
product release, real-time UML, project management, software performance engineering |
| 1 | Antonia Bertolino, Paola Inverardi, Henry Muccini |
An Explorative Journey from Architectural Tests Definition downto Code Tests Execution. |
ICSE |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonia Bertolino, Flavio Corradini, Paola Inverardi, Henry Muccini |
Deriving test plans from architectural descriptions. |
ICSE |
2000 |
DBLP DOI BibTeX RDF |
functional test plans, software achitectures, labelled transition systems, integration testing |
| 1 | Antonia Bertolino, Gail C. Murphy |
An overview of the ICSE 2000 workshop program. |
ICSE |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Gaetano Lombardi, Emilia Peciola, Raffaela Mirandola, Antonia Bertolino, Eda Marchetti |
Towards Statistical Control of an Industrial Test Process. |
SAFECOMP |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonia Bertolino, Lorenzo Strigini |
Assessing the Risk due to Software Faults: Estimates of Failure Rate versus Evidence of Perfection. |
Softw. Test., Verif. Reliab. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonia Bertolino, Raffaela Mirandola, Emilia Peciola |
A case study in branch testing automation. |
Journal of Systems and Software |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | István Forgács, Antonia Bertolino |
Feasible Test Path Selection by Principal Slicing. |
ESEC / SIGSOFT FSE |
1997 |
DBLP DOI BibTeX RDF |
PDG, ddgraph, influencing predicates, principal definition, slicing, automatic test data generation |
| 1 | Antonia Bertolino, Paola Inverardi, Henry Muccini, Andrea Rosetti |
An approach to integration testing based on architectural descriptions. |
ICECCS |
1997 |
DBLP DOI BibTeX RDF |
formal architectural descriptions, CHAM formalism, coverage strategy, software engineering, software architectures, unit testing, integration testing, architectural descriptions |
| 1 | Antonia Bertolino, Lorenzo Strigini |
On the Use of Testability Measures for Dependability Assessment. |
IEEE Trans. Software Eng. |
1996 |
DBLP DOI BibTeX RDF |
ultra-high reliability, software testing, error, Bayesian inference, testability, failure, fault, test oracle, reliability assessment |
| 1 | Antonia Bertolino, Martina Marré |
How Many Paths are Needed for Branch Testing? |
Journal of Systems and Software |
1996 |
DBLP BibTeX RDF |
|
| 1 | Antonia Bertolino |
Software Assessment: Reliability, Safety, Testability, by Michael A. Friedman and Jeffrey M. Voas, Wiley, 1995 (Book Review). |
Softw. Test., Verif. Reliab. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Martina Marré, Antonia Bertolino |
Unconstrained Duals and Their Use in Achieving All-Uses Coverage. |
ISSTA |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Martina Marré, Antonia Bertolino |
Reducing and Estimating the Cost of Test Coverage Criteria. |
ICSE |
1996 |
DBLP BibTeX RDF |
generalised algorithm, minimum entity set, program flowgraph entities, spanning set, test coverage criteria cost estimation, test coverage criteria cost reduction, test paths, program testing, software cost estimation, flowcharting |
| 1 | Antonia Bertolino |
Software Testing for Dependability Assessment. |
Objective Software Quality |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonia Bertolino, Lorenzo Strigini |
Using Testability Measures for Dependability Assessment. |
ICSE |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonia Bertolino, Martina Marré |
Automatic Generation of Path Covers Based on the Control Flow Analysis of Computer Programs. |
IEEE Trans. Software Eng. |
1994 |
DBLP DOI BibTeX RDF |
program branch testing, program flowgraph, program inputs, ddgraph, graph theoretic principles, arc trees, unconstrained arcs, implied tree, recursive iteration, software analysis tool, automated testing tool, software tools, program testing, flexibility, trees (mathematics), dominance, program diagnostics, control flow analysis, simplicity, implication, program control structures, flow graphs, dominator tree, selection strategy, infeasible paths, software testing tool, path covers |
| 1 | Antonia Bertolino |
Guest editor's corner achieving quality in software. |
Journal of Systems and Software |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonia Bertolino, Martina Marré |
A Meaningful Bound for Branch Testing (Abstract). |
ISSTA |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonia Bertolino |
Unconstrained edges and their application to branch analysis and testing of programs. |
Journal of Systems and Software |
1993 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")