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 variability-intensive 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.