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)
- Federal University of Pernambuco,
- University of Nebraska,
- The French National Institute for Computer Science (INRIA)
Research Output:
Conference Article in Proceeding or Book/Report chapter
Report chapter
Open access
Publication Information
Output type
Research Output:
Conference Article in Proceeding or Book/Report chapter
Report chapter
Original language
EnglishPages from-to (Number of pages)
Pages 144-147Publication milestones
- Published - 2014
Publication status
Published - 2014
Volume
3Book series
- Book series name: Lecture Notes in Computer Science
Volume: 8380
ISSN: 0302-9743
ISBN (Print)
978-3-319-06793-3Host publication title
Multivariate network visualization : Dagstuhl Seminar #13201Abstract
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.
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.