Analysis, Test and Verification in The Presence of Variability (Dagstuhl Seminar 13091)

Paulo Borba; Myra B. Cohen; Axel Legay; Andrzej Wasowski

doi:10.4230/DagRep.3.2.144

Analysis, Test and Verification in The Presence of Variability (Dagstuhl Seminar 13091)

Paulo Borba (Editor), Myra B. Cohen (Editor), Axel Legay (Editor), Andrzej Wasowski (Editor)

Research output: Conference Article in Proceeding or Book/Report chapter › Report chapter › Research

Abstract

This report documents the program and the outcomes of Dagstuhl Seminar 13091 “Analysis,
Test and Verification in The Presence of Variability”. The seminar had the goal of consolidating
and stimulating research on analysis of software models with variability, enabling the design
of variability-aware tool chains. We brought together 46 key researchers from three continents,
working on quality assurance challenges that arise from introducing variability, and some who do
not work with variability, but that are experts in their respective areas in the broader domain of
software analysis or testing research. As a result of interactions triggered by sessions of different
formats, the participants were able to classify their approaches with respect to a number of
dimensions that helped to identify similarities and differences that have already been useful to
improve understanding and foster new collaborations among the participants.

Original language	English
Title of host publication	Multivariate network visualization : Dagstuhl Seminar #13201
Volume	3
Publication date	2014
Pages	144-147
ISBN (Print)	978-3-319-06793-3
DOIs	https://doi.org/10.4230/DagRep.3.2.144
Publication status	Published - 2014

Series	Lecture Notes in Computer Science
Volume	8380
ISSN	0302-9743

Keywords

Software Variability
Quality Assurance
Software Models
Variability-aware Tool Chains
Software Analysis and Testing

Access to Document

10.4230/DagRep.3.2.144

VARIETE: Variability in Portfolios of Dependable Systems
Wasowski, A. (PI), Abal, I. (CoI), Mukkamala, R. R. (CoI), Al-Sibahi, A. S. (CoI), Dimovski, A. (CoI) & Iosif-Lazăr, A. F. (CoI)
Independent Research Fund Denmark
01/04/2013 → 31/08/2017
Project: Research

Cite this

@inbook{831798c5318346c28249bd24368fc883,

title = "Analysis, Test and Verification in The Presence of Variability (Dagstuhl Seminar 13091)",

abstract = "This report documents the program and the outcomes of Dagstuhl Seminar 13091 “Analysis,Test and Verification in The Presence of Variability”. The seminar had the goal of consolidatingand stimulating research on analysis of software models with variability, enabling the designof variability-aware tool chains. We brought together 46 key researchers from three continents,working on quality assurance challenges that arise from introducing variability, and some who donot work with variability, but that are experts in their respective areas in the broader domain ofsoftware analysis or testing research. As a result of interactions triggered by sessions of differentformats, the participants were able to classify their approaches with respect to a number ofdimensions that helped to identify similarities and differences that have already been useful toimprove understanding and foster new collaborations among the participants.",

keywords = "Software Variability, Quality Assurance, Software Models, Variability-aware Tool Chains, Software Analysis and Testing, Software Variability, Quality Assurance, Software Models, Variability-aware Tool Chains, Software Analysis and Testing",

author = "Paulo Borba and {B. Cohen}, Myra and Axel Legay and Andrzej Wasowski",

note = "Seminar proposals are peer reviewed but not published. This is a seminar report which is published after the seminar (but it is not peer reviewed).",

year = "2014",

doi = "10.4230/DagRep.3.2.144",

language = "English",

isbn = "978-3-319-06793-3",

volume = "3",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "144--147",

booktitle = "Multivariate network visualization : Dagstuhl Seminar #13201",

}

Analysis, Test and Verification in The Presence of Variability (Dagstuhl Seminar 13091). / Borba, Paulo (Editor); B. Cohen, Myra (Editor); Legay, Axel (Editor) et al.
Multivariate network visualization : Dagstuhl Seminar #13201. Vol. 3 2014. p. 144-147 (Lecture Notes in Computer Science, Vol. 8380).

Research output: Conference Article in Proceeding or Book/Report chapter › Report chapter › Research

TY - GEN

T1 - Analysis, Test and Verification in The Presence of Variability (Dagstuhl Seminar 13091)

A2 - Borba, Paulo

A2 - B. Cohen, Myra

A2 - Legay, Axel

A2 - Wasowski, Andrzej

N1 - Seminar proposals are peer reviewed but not published. This is a seminar report which is published after the seminar (but it is not peer reviewed).

PY - 2014

Y1 - 2014

N2 - This report documents the program and the outcomes of Dagstuhl Seminar 13091 “Analysis,Test and Verification in The Presence of Variability”. The seminar had the goal of consolidatingand stimulating research on analysis of software models with variability, enabling the designof variability-aware tool chains. We brought together 46 key researchers from three continents,working on quality assurance challenges that arise from introducing variability, and some who donot work with variability, but that are experts in their respective areas in the broader domain ofsoftware analysis or testing research. As a result of interactions triggered by sessions of differentformats, the participants were able to classify their approaches with respect to a number ofdimensions that helped to identify similarities and differences that have already been useful toimprove understanding and foster new collaborations among the participants.

AB - This report documents the program and the outcomes of Dagstuhl Seminar 13091 “Analysis,Test and Verification in The Presence of Variability”. The seminar had the goal of consolidatingand stimulating research on analysis of software models with variability, enabling the designof variability-aware tool chains. We brought together 46 key researchers from three continents,working on quality assurance challenges that arise from introducing variability, and some who donot work with variability, but that are experts in their respective areas in the broader domain ofsoftware analysis or testing research. As a result of interactions triggered by sessions of differentformats, the participants were able to classify their approaches with respect to a number ofdimensions that helped to identify similarities and differences that have already been useful toimprove understanding and foster new collaborations among the participants.

KW - Software Variability

KW - Quality Assurance

KW - Software Models

KW - Variability-aware Tool Chains

KW - Software Analysis and Testing

KW - Software Variability

KW - Quality Assurance

KW - Software Models

KW - Variability-aware Tool Chains

KW - Software Analysis and Testing

UR - http://drops.dagstuhl.de/opus/volltexte/2013/4020/pdf/dagrep_v003_i002_p144_s13091.pdf

U2 - 10.4230/DagRep.3.2.144

DO - 10.4230/DagRep.3.2.144

M3 - Report chapter

SN - 978-3-319-06793-3

VL - 3

T3 - Lecture Notes in Computer Science

SP - 144

EP - 147

BT - Multivariate network visualization : Dagstuhl Seminar #13201

ER -

Analysis, Test and Verification in The Presence of Variability (Dagstuhl Seminar 13091)

Abstract

Keywords

Access to Document

Fingerprint

Projects

VARIETE: Variability in Portfolios of Dependable Systems

Cite this