Antonia Bertolino

Orcid: 0000-0001-8749-1356

According to our database1, Antonia Bertolino authored at least 234 papers between 1988 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Report on the 12th ACM/IEEE International Workshop on Software Engineering for Systems-of-Systems and Software Ecosystems - SESoS@ICSE 2024.
ACM SIGSOFT Softw. Eng. Notes, July, 2024

Automatic Debugging of Design Faults in MapReduce Applications.
IEEE Trans. Software Eng., April, 2024

A systematic mapping study on security for systems of systems.
Int. J. Inf. Sec., April, 2024

Self-Adaptive Testing in the Field.
ACM Trans. Auton. Adapt. Syst., March, 2024

Flakiness goes live: Insights from an In Vivo testing simulation study.
Inf. Softw. Technol., March, 2024

Report on the 11th ACM/IEEE International Workshop on Software Engineering for Systems-of-Systems and Software Ecosystems - SESoS@ICSE 2023.
ACM SIGSOFT Softw. Eng. Notes, January, 2024

A framework for the design of fault-tolerant systems-of-systems.
J. Syst. Softw., 2024

2023
Model-based security testing in IoT systems: A Rapid Review.
Inf. Softw. Technol., December, 2023

In vivo test and rollback of Java applications as they are.
Softw. Test. Verification Reliab., November, 2023

Introduction to the special issue on test automation: Trends, benefits, and costs.
J. Syst. Softw., September, 2023

Supplemental material for: Automatic Debugging of Design Faults in MapReduce applications.
Dataset, September, 2023

Introduction to the special issue on automation of software test and test code quality.
J. Softw. Evol. Process., April, 2023

DevOpRET: Continuous reliability testing in DevOps.
J. Softw. Evol. Process., March, 2023

Supplemental material for: Automatic Debugging of Design Faults in MapReduce applications.
Dataset, March, 2023

Replication Package for "State of Practical Applicability of Regression Testing Research: A Live Systematic Literature Review".
Dataset, January, 2023

State of Practical Applicability of Regression Testing Research: A Live Systematic Literature Review.
ACM Comput. Surv., 2023

Orchestration Strategies for Regression Test Suites.
Proceedings of the IEEE/ACM International Conference on Automation of Software Test, 2023

Cross-coverage testing of functionally equivalent programs.
Proceedings of the IEEE/ACM International Conference on Automation of Software Test, 2023

Fault Localization for Reinforcement Learning.
Proceedings of the IEEE International Conference On Artificial Intelligence Testing, 2023

2022
Comparing and Combining File-based Selection and Similarity-based Prioritization towards Regression Test Orchestration (Replication Package).
Dataset, March, 2022

Designing and testing systems of systems: From variability models to test cases passing through desirability assessment.
J. Softw. Evol. Process., 2022

A Delphi study to recognize and assess systems of systems vulnerabilities.
Inf. Softw. Technol., 2022

A Survey of Field-based Testing Techniques.
ACM Comput. Surv., 2022

Self-adaptive Testing in the Field: Are We There Yet?
Proceedings of the International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2022

Comparing and Combining File-based Selection and Similarity-based Prioritization towards Regression Test Orchestration.
Proceedings of the IEEE/ACM International Conference on Automation of Software Test, 2022

Testing non-testable programs using association rules.
Proceedings of the IEEE/ACM International Conference on Automation of Software Test, 2022

2021
Supplemental Material: What we talk about when we talk about software test flakiness.
Dataset, June, 2021

Adaptive Test Case Allocation, Selection and Generation Using Coverage Spectrum and Operational Profile.
IEEE Trans. Software Eng., 2021

Know You Neighbor: Fast Static Prediction of Test Flakiness.
IEEE Access, 2021

What We Talk About When We Talk About Software Test Flakiness.
Proceedings of the Quality of Information and Communications Technology, 2021

2020
Testing Relative to Usage Scope: Revisiting Software Coverage Criteria.
ACM Trans. Softw. Eng. Methodol., 2020

Advances in test automation for software with special focus on artificial intelligence and machine learning.
Softw. Qual. J., 2020

RETORCH: an approach for resource-aware orchestration of end-to-end test cases.
Softw. Qual. J., 2020

FlakyLoc: Flakiness Localization for Reliable Test Suites in Web Applications.
J. Web Eng., 2020

Digital persona portrayal: Identifying pluridentity vulnerabilities in digital life.
J. Inf. Secur. Appl., 2020

Cloud testing automation: industrial needs and ElasTest response.
IET Softw., 2020

Process-oriented knowledge management and learning in public administrations.
Electron. Gov. an Int. J., 2020

EDUFYSoS: A Factory of Educational System of Systems Case Studies.
Proceedings of the 15th IEEE International Conference of System of Systems Engineering, 2020

Quality-of-Experience driven configuration of WebRTC services through automated testing.
Proceedings of the 20th IEEE International Conference on Software Quality, 2020

JTeC: A Large Collection of Java Test Classes for Test Code Analysis and Processing.
Proceedings of the MSR '20: 17th International Conference on Mining Software Repositories, 2020

What is the Vocabulary of Flaky Tests?
Proceedings of the MSR '20: 17th International Conference on Mining Software Repositories, 2020

Standing on the Shoulders of Software Product Line Research for Testing Systems of Systems.
Proceedings of the 2020 IEEE International Symposium on Software Reliability Engineering Workshops, 2020

Run Java Applications and Test Them In-Vivo Meantime.
Proceedings of the 13th IEEE International Conference on Software Testing, 2020

Learning-to-rank vs ranking-to-learn: strategies for regression testing in continuous integration.
Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

Defensive Programming for Smart Home Cybersecurity.
Proceedings of the IEEE European Symposium on Security and Privacy Workshops, 2020

2019
JTeC: A Large Collection of Java Test Classes forTest Code Analysis and Processing.
Dataset, May, 2019

JTeC: A Large Collection of Java Test Classes forTest Code Analysis and Processing.
Dataset, May, 2019

MSR19-JTeC/JTeC: Initial JTeC release.
Dataset, February, 2019

JTeC: A Large Collection of Java Test Classes forTest Code Analysis and Processing.
Dataset, February, 2019

Scalable Approaches for Test Suite Reduction.
Dataset, January, 2019

A Systematic Review on Cloud Testing.
ACM Comput. Surv., 2019

Understanding and estimating quality of experience in WebRTC applications.
Computing, 2019

Debugging Flaky Tests on Web Applications.
Proceedings of the 15th International Conference on Web Information Systems and Technologies, 2019

Addressing Security Properties in Systems of Systems: Challenges and Ideas.
Proceedings of the Software Engineering for Resilient Systems, 2019

RETORCH: Resource-Aware End-to-End Test Orchestration.
Proceedings of the Quality of Information and Communications Technology, 2019

Governing Regression Testing in Systems of Systems.
Proceedings of the IEEE International Symposium on Software Reliability Engineering Workshops, 2019

Towards continuous software reliability testing in DevOps.
Proceedings of the 14th International Workshop on Automation of Software Test, 2019

Security assessment of systems of systems.
Proceedings of the 7th International Workshop on Software Engineering for Systems-of-Systems and 13th Workshop on Distributed Software Development, 2019

Scalable approaches for test suite reduction.
Proceedings of the 41st International Conference on Software Engineering, 2019

Changing Software in a Changing World: How to Test in Presence of Variability, Adaptation and Evolution?
Proceedings of the From Software Engineering to Formal Methods and Tools, and Back, 2019

2018
Supplementary material (source code and results) for "FAST Approaches to Scalable Similarity-based Test Case Prioritization".
Dataset, March, 2018

Automatic Testing of Design Faults in MapReduce Applications.
IEEE Trans. Reliab., 2018

An assessment of operational coverage as both an adequacy and a selection criterion for operational profile based testing.
Softw. Qual. J., 2018

A tour of secure software engineering solutions for connected vehicles.
Softw. Qual. J., 2018

A categorization scheme for software engineering conference papers and its application.
J. Syst. Softw., 2018

Guest editorial foreword for the special issue on automated software testing: trends and evidence.
J. Softw. Eng. Res. Dev., 2018

Hybrid Is Better: Why and How Test Coverage and Software Reliability Can Benefit Each Other.
Proceedings of the Web Information Systems and Technologies, 2018

Coverage Testing and Reliability Improvement: A Marriage of Convenience?
Proceedings of the 14th International Conference on Web Information Systems and Technologies, 2018

Perceived Needs and Gains from an Industrial Study in Cloud Testing Automation.
Proceedings of the 2018 IEEE/ACM International Conference on Utility and Cloud Computing Companion, 2018

CARS: Context Aware Reputation Systems to Evaluate Vehicles' Behaviour.
Proceedings of the 26th Euromicro International Conference on Parallel, 2018

Do We Need New Strategies for Testing Systems-of-Systems?
Proceedings of the 6th IEEE/ACM International Workshop on Software Engineering for Systems-of-Systems, 2018

FAST approaches to scalable similarity-based test case prioritization.
Proceedings of the 40th International Conference on Software Engineering, 2018

An automated model-based test oracle for access control systems.
Proceedings of the 13th International Workshop on Automation of Software Test, 2018

When the testing gets tough, the tough get ElasTest.
Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

2017
Scope-aided test prioritization, selection and minimization for software reuse.
J. Syst. Softw., 2017

Towards Automated Deployment of Self-adaptive Applications on Hybrid Clouds (Short Paper).
Proceedings of the Software Engineering and Formal Methods - 15th International Conference, 2017

Towards Ex Vivo Testing of MapReduce Applications.
Proceedings of the 2017 IEEE International Conference on Software Quality, 2017

Adaptive coverage and operational profile-based testing for reliability improvement.
Proceedings of the 39th International Conference on Software Engineering, 2017

What paper types are accepted at the international conference on software engineering?
Proceedings of the 39th International Conference on Software Engineering, 2017

Online Robustness Testing of Distributed Embedded Systems: An Industrial Approach.
Proceedings of the 39th IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice Track, 2017

2016
A Tool-Supported Methodology for Validation and Refinement of Early-Stage Domain Models.
IEEE Trans. Software Eng., 2016

Towards Business Process Execution Adequacy Criteria.
Proceedings of the Software Quality. The Future of Systems- and Software Development, 2016

Testing access control policies against intended access rights.
Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

Monitoring of Learning Path for Business Process Models.
Proceedings of the International Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn, 2016

Does code coverage provide a good stopping rule for operational profile based testing?
Proceedings of the 11th International Workshop on Automation of Software Test, 2016

A Model Driven Approach to Business Process-Based Learning.
Proceedings of the Computers Supported Education - 8th International Conference, 2016

Learning Path Specification for Workplace Learning based on Business Process Management.
Proceedings of the CSEDU 2016, 2016

2015
Software Engineering for Internet Computing: Internetware and Beyond [Guest editors' introduction].
IEEE Softw., 2015

Similarity testing for access control.
Inf. Softw. Technol., 2015

Learn PAd : Collaborative and Model-based Learning in Public Administrations.
Proceedings of the Projects Showcase, 2015

Improving Test Coverage Measurement for Reused Software.
Proceedings of the 41st Euromicro Conference on Software Engineering and Advanced Applications, 2015

2014
Validation of Access Control Systems.
Proceedings of the Engineering Secure Future Internet Services and Systems, 2014

A Toolchain for Designing and Testing Access Control Policies.
Proceedings of the Engineering Secure Future Internet Services and Systems, 2014

Editorial for the special issue of STVR on the 5th IEEE International Conference on Software Testing, Verification, and Validation (ICST 2012).
Softw. Test. Verification Reliab., 2014

Testing of PolPA-based usage control systems.
Softw. Qual. J., 2014

An Extensible Framework for Online Testing of Choreographed Services.
Computer, 2014

A Requirements-Led Approach for Specifying QoS-Aware Service Choreographies: An Experience Report.
Proceedings of the Requirements Engineering: Foundation for Software Quality, 2014

An Automated Testing Framework of Model-Driven Tools for XACML Policy Specification.
Proceedings of the 9th International Conference on the Quality of Information and Communications Technology, 2014

Extending UML Testing Profile Towards Non-functional Test Modeling.
Proceedings of the MODELSWARD 2014 - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development, Lisbon, Portugal, 7, 2014

Coverage-Based Test Cases Selection for XACML Policies.
Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

Social coverage for customized test adequacy and selection criteria.
Proceedings of the 9th International Workshop on Automation of Software Test, 2014

2013
Special section on automation of software test.
J. Syst. Softw., 2013

Guest Editorial for Special Section from Component-based Software Engineering (CBSE) 2011.
Inf. Softw. Technol., 2013

Applying Structural Testing to Services Using Testing Interfaces and Metadata.
Int. J. Softw. Informatics, 2013

An Approach to Adaptive Dependability Assessment in Dynamic and Evolving Connected Systems.
Int. J. Adapt. Resilient Auton. Syst., 2013

Automated testing of eXtensible Access Control Markup Language-based access control systems.
IET Softw., 2013

Software architecture-based analysis and testing: a look into achievements and future challenges.
Computing, 2013

Adequate monitoring of service compositions.
Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

Apprehensive QoS monitoring of Service choreographies.
Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

Adaptive SLA monitoring of service choreographies enacted on the Cloud.
Proceedings of the 7th IEEE International Symposium on the Maintenance and Evolution of Service-Oriented and Cloud-Based Systems, 2013

A Generative Approach for the Adaptive Monitoring of SLA in Service Choreographies.
Proceedings of the Web Engineering - 13th International Conference, 2013

XACMUT: XACML 2.0 Mutants Generator.
Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

A Toolchain for Designing and Testing XACML Policies.
Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

2012
Verification and Analysis of Autonomic Systems for Networked Enterprises.
Proceedings of the Methodologies and Technologies for Networked Enterprises, 2012

Never-stop Learning: Continuous Validation of Learned Models for Evolving Systems through Monitoring.
ERCIM News, 2012

Enhancing Service Federation Trustworthiness through Online Testing.
Computer, 2012

The X-CREATE Framework - A Comparison of XACML Policy Testing Strategies.
Proceedings of the WEBIST 2012 - Proceedings of the 8th International Conference on Web Information Systems and Technologies, Porto, Portugal, 18, 2012

Governance Policies for Verification and Validation of Service Choreographies.
Proceedings of the Web Information Systems and Technologies - 8th International Conference, 2012

Quality Requirements for Service Choreographies.
Proceedings of the WEBIST 2012 - Proceedings of the 8th International Conference on Web Information Systems and Technologies, Porto, Portugal, 18, 2012

Validation and Verification Policies for Governance of Service Choreographies.
Proceedings of the WEBIST 2012 - Proceedings of the 8th International Conference on Web Information Systems and Technologies, Porto, Portugal, 18, 2012

Monitoring Service Choreographies from Multiple Sources.
Proceedings of the Software Engineering for Resilient Systems - 4th International Workshop, 2012

Complex Events Specification for Properties Validation.
Proceedings of the 8th International Conference on the Quality of Information and Communications Technology, 2012

Automatic XACML Requests Generation for Policy Testing.
Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

Testing of PolPA authorization systems.
Proceedings of the 7th International Workshop on Automation of Software Test, 2012

Non-functional analysis of service choreographies.
Proceedings of the 4th International ICSE Workshop on Principles of Engineering Service-Oriented Systems, 2012


2011
Is my model right? Let me ask the expert.
J. Syst. Softw., 2011

Bringing white-box testing to Service Oriented Architectures through a Service Oriented Approach.
J. Syst. Softw., 2011

(role)CAST: A Framework for On-line Service Testing.
Proceedings of the WEBIST 2011, 2011

An automated approach to robustness testing of BPEL orchestrations.
Proceedings of the IEEE 6th International Symposium on Service Oriented System Engineering, 2011

More testable service compositions by test metadata.
Proceedings of the IEEE 6th International Symposium on Service Oriented System Engineering, 2011

Dependability and Performance Assessment of Dynamic CONNECTed Systems.
Proceedings of the Formal Methods for Eternal Networked Software Systems, 2011

Towards a Model-Driven Infrastructure for Runtime Monitoring.
Proceedings of the Software Engineering for Resilient Systems, 2011

Automated Refinement of Dependability Analysis through Monitoring in Dynamically Connected Systems.
Proceedings of the 10th International Symposium on Autonomous Decentralized Systems, 2011

On-the-Fly Dependable Mediation between Heterogeneous Networked Systems.
Proceedings of the Software and Data Technologies - 6th International Conference, 2011

Towards Ensuring Eternal Connectability.
Proceedings of the ICSOFT 2011, 2011

Sixth international workshop on automation of software test: (AST 2011).
Proceedings of the 33rd International Conference on Software Engineering, 2011

GLIMPSE: a generic and flexible monitoring infrastructure.
Proceedings of the 13th European Workshop on Dependable Computing, 2011

Yet another meta-model to specify non-functional properties.
Proceedings of the International Workshop on Quality Assurance for Service-Based Applications, 2011

Teaching software testing: Experiences, lessons learned and the path forward.
Proceedings of the 24th IEEE-CS Conference on Software Engineering Education and Training, 2011

Towards automated robustness testing of BPEL orchestrators.
Proceedings of the 12th International Conference on Computer Systems and Technologies, 2011

2010
Dependability in dynamic, evolving and heterogeneous systems: the connect approach.
Proceedings of the 2nd International Workshop on Software Engineering for Resilient Systems, 2010

Quality in ICT Verification and Validation.
Proceedings of the Quality of Information and Communications Technology, 2010

Metrics for QoS analysis in dynamic, evolving and heterogeneous connected systems.
Proceedings of the International Workshop on Dynamic Analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2010), 2010

On-the-Fly Interoperability through Automated Mediator Synthesis and Monitoring.
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

Systematic XACML Request Generation for Testing Purposes.
Proceedings of the 36th EUROMICRO Conference on Software Engineering and Advanced Applications, 2010

Model-Based Testing for the Cloud.
Proceedings of the Practical Software Testing: Tool Automation and Human Factors, 14.03., 2010

2009
Automatic synthesis of behavior protocols for composable web-services.
Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009

Approaches to testing service-oriented software systems.
Proceedings of the 1st international workshop on Quality of service-oriented software systems, 2009

Whitening SOA testing.
Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009

SOA Test Governance: Enabling Service Integration Testing across Organization and Technology Borders.
Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009

WS-TAXI: A WSDL-based Testing Tool for Web Services.
Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009

Automated testing of healthcare document transformations in the PICASSO interoperability platform.
Proceedings of the 31st International Conference on Software Engineering, 2009

On-line validation of service oriented systems in the European Project TAS3.
Proceedings of the International ICSE Workshop on Principles of Engineering Service-Oriented Systems, 2009

CONNECT Challenges: Towards Emergent Connectors for Eternal Networked Systems.
Proceedings of the 14th IEEE International Conference on Engineering of Complex Computer Systems, 2009

2008
Let The Puppets Move! Automated Testbed Generation for Service-oriented Mobile Applications.
Proceedings of the 34th Euromicro Conference on Software Engineering and Advanced Applications, 2008

Model-Based Generation of Testbeds for Web Services.
Proceedings of the Testing of Software and Communicating Systems, 2008

Software Testing Forever: Old and New Processes and Techniques for Validating Today's Applications.
Proceedings of the Product-Focused Software Process Improvement, 2008

PLASTIC: Providing lightweight & adaptable service technology for pervasive information & communication.
Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering, 2008

VCR: Virtual Capture and Replay for Performance Testing.
Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008

Introducing service-oriented coverage testing.
Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering, 2008

The PLASTIC Framework and Tools for Testing Service-Oriented Applications.
Proceedings of the Software Engineering, International Summer Schools, 2008

A Framework for Analyzing and Testing the Performance of Software Services.
Proceedings of the Leveraging Applications of Formal Methods, 2008

Towards Automated WSDL-Based Testing of Web Services.
Proceedings of the Service-Oriented Computing, 2008

Weighting Influence of User Behavior in Software Validation.
Proceedings of the 19th International Workshop on Database and Expert Systems Applications (DEXA 2008), 2008

2007
Testing software components for integration: a survey of issues and techniques.
Softw. Test. Verification Reliab., 2007

Performance measures for supporting project manager decisions.
Softw. Process. Improv. Pract., 2007

Automatic generation of test-beds for pre-deployment QoS evaluation of web services.
Proceedings of the 6th International Workshop on Software and Performance, 2007

XModel-Based Testing of XSLT Applications.
Proceedings of the WEBIST 2007, 2007

Profiling and testing within domains to facilitate document exchangeability.
Proceedings of the 2007 Workshop on Domain Specific Approaches to Software Test Automation, 2007

Welcome to the WISE track.
Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007

Scaling up SLA monitoring in pervasive environments.
Proceedings of the 2007 International Workshop on Engineering of Software Services for Pervasive Environments, 2007

A QoS Test-Bed Generator for Web Services.
Proceedings of the Web Engineering, 7th International Conference, 2007

Automatic Test Data Generation for XML Schema-based Partition Testing.
Proceedings of the Second International Workshop on Automation of Software Test, 2007

TAXI - A Tool for XML-Based Testing.
Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

Software Testing Research: Achievements, Challenges, Dreams.
Proceedings of the International Conference on Software Engineering, 2007

Data Flow-Based Validation of Web Services Compositions: Perspectives and Examples.
Proceedings of the Architecting Dependable Systems V [the book is a result from the WADS 2007 and the Third Workshop on the Role of Software Architecture for Testing and Analysis], 2007

Monitoring Architectural Properties in Dynamic Component-Based Systems.
Proceedings of the Component-Based Software Engineering, 10th International Symposium, 2007

2006
Software Testing and Industry Needs.
IEEE Softw., 2006

XML Every-Flavor Testing.
Proceedings of the WEBIST 2006, 2006

Product Line Use Cases: Scenario-Based Specification and Testing of Requirements.
Proceedings of the Software Product Lines - Research Issues in Engineering and Management, 2006

Architectural Verification of Black-Box Component-Based Systems.
Proceedings of the Rapid Integration of Software Engineering Techniques, 2006

Systematic Generation of XML Instances to Test Complex Software Applications.
Proceedings of the Rapid Integration of Software Engineering Techniques, 2006

Modeling and Early Performance Estimation for Network Processor Applications.
Proceedings of the Model Driven Engineering Languages and Systems, 2006

A UML Profile and a Methodology for Real-Time Systems Design.
Proceedings of the 32nd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO-SEAA 2006), August 29, 2006

2005
An Architecture-Centric Approach for Producing Quality Systems.
Proceedings of the Quality of Software Architectures and Software Quality, 2005

The Audition Framework for Testing Web Services Interoperability.
Proceedings of the 31st EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO-SEAA 2005), 30 August, 2005

UML-based Design of Network Processors Applications.
Proceedings of the 31st EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO-SEAA 2005), 30 August, 2005

2004
Using Software Architecture for Code Testing.
IEEE Trans. Software Eng., 2004

The (Im)maturity level of software testing.
ACM SIGSOFT Softw. Eng. Notes, 2004

Introducing a Reasonably Complete and Coherent Approach for Model-based Testing.
Proceedings of the International Workshop on Test and Analysis of Component Based Systems, 2004

Software performance engineering of component-based systems.
Proceedings of the Fourth International Workshop on Software and Performance, 2004

A Model Based Approach to Design Applications for Network Processor.
Proceedings of the Rapid Integration of Software Engineering Techniques, 2004

Audition of Web Services for Testing Conformance to Open Specified Protocols.
Proceedings of the Architecting Systems with Trustworthy Components, 2004

CB-SPE Tool: Putting Component-Based Performance Engineering into Practice.
Proceedings of the Component-Based Software Engineering, 7th International Symposium, 2004

2003
Using Spanning Sets for Coverage Testing.
IEEE Trans. Software Eng., 2003

Integration of "Components" to Test Software Components.
Proceedings of the International Workshop on Test and Analysis of Component-Based Systems, 2003

Modeling and Analysis of Non-functional Properties in Component-based Systems.
Proceedings of the International Workshop on Test and Analysis of Component-Based Systems, 2003

Use case-based testing of product lines.
Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, 2003

Formal Methods in Testing Software Architectures.
Proceedings of the Formal Methods for Software Architectures, 2003

PLUTO: A Test Methodology for Product Families.
Proceedings of the Software Product-Family Engineering, 5th International Workshop, 2003

A Framework for Component Deployment Testing.
Proceedings of the 25th International Conference on Software Engineering, 2003

Software Testing Research and Practice.
Proceedings of the Abstract State Machines, 2003

2002
Guest Editors' Introduction: 2000 International Symposium on Software Testing and Analysis.
IEEE Trans. Software Eng., 2002

Preventing untestedness in data-flow based testing.
Softw. Test. Verification Reliab., 2002

Experience of applying statistical control techniques to the function test phase of a large telecommunications system.
IEE Proc. Softw., 2002

Real-tiem UML-based performance engineering to aid manager's decisions in multi-project planning.
Proceedings of the Third International Workshop on Software and Performance, 2002

The Cow_Suite Approach to Planning and Deriving Test Suites in UML Projects.
Proceedings of the UML 2002 - The Unified Modeling Language, 5th International Conference, Dresden, Germany, September 30, 2002

ISSTA 2002 panel: is ISSTA research relevant to industrial users?
Proceedings of the International Symposium on Software Testing and Analysis, 2002

WCT: A Wrapper for Component Testing.
Proceedings of the Scientific Engineering for Distributed Java Applications, 2002

2001
An Explorative Journey from Architectural Tests Definition downto Code Tests Execution.
Proceedings of the 23rd International Conference on Software Engineering, 2001

2000
An overview of the ICSE 2000 workshop program.
Proceedings of the 22nd International Conference on on Software Engineering, 2000

Deriving test plans from architectural descriptions.
Proceedings of the 22nd International Conference on on Software Engineering, 2000

1999
Towards Statistical Control of an Industrial Test Process.
Proceedings of the Computer Safety, 1999

1998
Assessing the Risk due to Software Faults: Estimates of Failure Rate versus Evidence of Perfection.
Softw. Test. Verification Reliab., 1998

1997
A case study in branch testing automation.
J. Syst. Softw., 1997

An approach to integration testing based on architectural descriptions.
Proceedings of the 3rd IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '97), 1997

Feasible Test Path Selection by Principal Slicing.
Proceedings of the Software Engineering, 1997

1996
On the Use of Testability Measures for Dependability Assessment.
IEEE Trans. Software Eng., 1996

Software Assessment: Reliability, Safety, Testability, by Michael A. Friedman and Jeffrey M. Voas, Wiley, 1995 (Book Review).
Softw. Test. Verification Reliab., 1996

How Many Paths are Needed for Branch Testing?
J. Syst. Softw., 1996

Architecture-based software testing.
Proceedings of the Joint Proceedings of the Second International Software Architecture Workshop (ISAW-2) and International Workshop on Multiple Perspectives in Software Development (Viewpoints '96) on SIGSOFT '96 workshops, 1996

Acceptance Criteria for Critical Software Based on Testability Estimates and Test Results.
Proceedings of the 15th International Conference on Computer Safety, 1996

Unconstrained Duals and Their Use in Achieving All-Uses Coverage.
Proceedings of the 1996 International Symposium on Software Testing and Analysis, 1996

Reducing and Estimating the Cost of Test Coverage Criteria.
Proceedings of the 18th International Conference on Software Engineering, 1996

1995
Software Testing for Dependability Assessment.
Proceedings of the Objective Software Quality: Second Symposium on Software Quality Techniques and Acquisition Criteria, 1995

Using Testability Measures for Dependability Assessment.
Proceedings of the 17th International Conference on Software Engineering, 1995

1994
Automatic Generation of Path Covers Based on the Control Flow Analysis of Computer Programs.
IEEE Trans. Software Eng., 1994

Guest editor's corner achieving quality in software.
J. Syst. Softw., 1994

A Meaningful Bound for Branch Testing (Abstract).
Proceedings of the 1994 International Symposium on Software Testing and Analysis, 1994

1993
Unconstrained edges and their application to branch analysis and testing of programs.
J. Syst. Softw., 1993

Deriving path expressions recursively.
Proceedings of the IEEE Second Workshop on Program Comprehension, 1993

1991
An overview of automated software testing.
J. Syst. Softw., 1991

1988
An Approach to Efficient Distributed Transactions.
Distributed Comput., 1988


  Loading...