SPLat 2015 Second international workshop on software product line analysis tools

Gilles Perrouin; Axel Legay

doi:10.1145/2791060.2791064

SPLat 2015 Second international workshop on software product line analysis tools

Gilles Perrouin, Axel Legay

Faculty of Computer Science

Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

Abstract

SPLat 2015 workshop aims to provide a forum where various approaches to formal analysis and testing of variabilityintensive systems can be presented, evaluated and discussed. In particular, the workshop tries to identify commonalities and variabilities regarding the choice of underlying concepts that capture variability as well as strengths and weaknesses of approaches in their effort to defeat combinatorial explosion. The long term goal of the workshop is to provide guidance to practitioners on where and when to use the aforementioned techniques while validating variability-intensive systems.

Original language	English
Title of host publication	Proceedings - 19th International Software Product Line Conference, SPLC 2015
Publisher	ACM Press
Pages	395-395
Number of pages	1
Volume	20-24-July-2015
ISBN (Electronic)	9781450336130
DOIs	https://doi.org/10.1145/2791060.2791064
Publication status	Published - 20 Jul 2015
Event	19th International Software Product Line Conference, SPLC 2015 - Nashville, United States Duration: 20 Jul 2015 → 24 Jul 2015

Conference

Conference	19th International Software Product Line Conference, SPLC 2015
Country/Territory	United States
City	Nashville
Period	20/07/15 → 24/07/15

Keywords

Analysis
Software product lines
Testing
Validation
Variability
Verification

Access to Document

10.1145/2791060.2791064

Cite this

@inproceedings{55d3663f697f41d4b3950e72da5689d8,

title = "SPLat 2015 Second international workshop on software product line analysis tools",

abstract = "SPLat 2015 workshop aims to provide a forum where various approaches to formal analysis and testing of variabilityintensive systems can be presented, evaluated and discussed. In particular, the workshop tries to identify commonalities and variabilities regarding the choice of underlying concepts that capture variability as well as strengths and weaknesses of approaches in their effort to defeat combinatorial explosion. The long term goal of the workshop is to provide guidance to practitioners on where and when to use the aforementioned techniques while validating variability-intensive systems.",

keywords = "Analysis, Software product lines, Testing, Validation, Variability, Verification",

author = "Gilles Perrouin and Axel Legay",

year = "2015",

month = jul,

day = "20",

doi = "10.1145/2791060.2791064",

language = "English",

volume = "20-24-July-2015",

pages = "395--395",

booktitle = "Proceedings - 19th International Software Product Line Conference, SPLC 2015",

publisher = "ACM Press",

address = "United States",

note = "19th International Software Product Line Conference, SPLC 2015 ; Conference date: 20-07-2015 Through 24-07-2015",

}

Perrouin, G & Legay, A 2015, SPLat 2015 Second international workshop on software product line analysis tools. in Proceedings - 19th International Software Product Line Conference, SPLC 2015. vol. 20-24-July-2015, ACM Press, pp. 395-395, 19th International Software Product Line Conference, SPLC 2015, Nashville, United States, 20/07/15. https://doi.org/10.1145/2791060.2791064

TY - GEN

T1 - SPLat 2015 Second international workshop on software product line analysis tools

AU - Perrouin, Gilles

AU - Legay, Axel

PY - 2015/7/20

Y1 - 2015/7/20

N2 - SPLat 2015 workshop aims to provide a forum where various approaches to formal analysis and testing of variabilityintensive systems can be presented, evaluated and discussed. In particular, the workshop tries to identify commonalities and variabilities regarding the choice of underlying concepts that capture variability as well as strengths and weaknesses of approaches in their effort to defeat combinatorial explosion. The long term goal of the workshop is to provide guidance to practitioners on where and when to use the aforementioned techniques while validating variability-intensive systems.

AB - SPLat 2015 workshop aims to provide a forum where various approaches to formal analysis and testing of variabilityintensive systems can be presented, evaluated and discussed. In particular, the workshop tries to identify commonalities and variabilities regarding the choice of underlying concepts that capture variability as well as strengths and weaknesses of approaches in their effort to defeat combinatorial explosion. The long term goal of the workshop is to provide guidance to practitioners on where and when to use the aforementioned techniques while validating variability-intensive systems.

KW - Analysis

KW - Software product lines

KW - Testing

KW - Validation

KW - Variability

KW - Verification

UR - http://www.scopus.com/inward/record.url?scp=84980419019&partnerID=8YFLogxK

U2 - 10.1145/2791060.2791064

DO - 10.1145/2791060.2791064

M3 - Conference contribution

VL - 20-24-July-2015

SP - 395

EP - 395

BT - Proceedings - 19th International Software Product Line Conference, SPLC 2015

PB - ACM Press

T2 - 19th International Software Product Line Conference, SPLC 2015

Y2 - 20 July 2015 through 24 July 2015

ER -

SPLat 2015 Second international workshop on software product line analysis tools

Abstract

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this