VAST: 2nd Int’l Workshop on Variability-intensive Systems Testing, Validation & Verification
April 21, 2012 - Montreal, Canada (co-located with ICST 2012)
Research/Industry Paper submission deadline has been extended till the 5th of February!
ScopeVariability is key enabler for most systems throughout their development and evolution. Customer demand and continuously changing context (environment, legal and business settings, technology, etc.) call for more flexibility in software engineering. This major trend impacts the whole engineering process, with emerging key paradigms such as Software Product Lines, Service-oriented Systems and Dynamically Adaptive Systems. All these paradigms aim at providing solutions to introduce and manage variability at different stages of the life-cycle. Combinatorial explosion due to variability is a common problem spanning over all these paradigms.
TopicsTopics include but are not limited to:
- Test Definition (during Domain Engineering / Application Engineering, Problem Space / Solution Space)
- Test Generation and Test Selection
- Test Oracles
- Acceptance Criteria
- Assessing Test Quality and Coverage
- Test Case and Data Reuse
- Testing Processes for Variability-intensive Systems
- Model-driven and Model-based Testing
- Online Testing and Run-time Verification
- Regression Testing and Verification
- Variability Formalization for Testing, Validation and Verification (i.e. Compositional and incremental Model Checking)
- Variability Space Exploration Strategies: e.g. Incremental vs. Global
- Formal Verification (i.e. Model Checking) for Variable Specifications (i.e. Design and Architecture)
- Combining V&V and Testing
- Variability V&V for Specific Application Areas (dependability, resilience, etc.)
- Scalability Issues
- Extra-functional Properties (security, performance)
SubmissionsPapers can be submitted in the following categories:
- Research/Industry papers demonstrating some original ideas and emerging results/tool support.
- Vision/Position papers stating the current state of the art and where the community should go, or early ideas that are not mature enough to be described in a research paper.
Papers should be submitted via Easychair at https://www.easychair.org/conferences/?conf=vasticst2012
- Research/Industry papers
(extended): Feb. 05, 2012 (23:59 Pago Pago, American Samoa
Vision/Demo papers: Feb. 14, 2012 (23:59 Pago Pago, American Samoa Time)
- Notification of acceptance: Feb. 28, 2012
- Camera-ready copies: Mar. 15, 2012
- Workshop: April 21, 2012
- Andreas Metzger, Paluno (The Ruhr Institute for Software Technology), University of Duisburg-Essen, Germany
- Sebastian Oster, Real-Time Systems Lab, Technical University of Darmstadt, Germany
- Vanessa Stricker, Paluno (The Ruhr Institute for Software Technology), University of Duisburg-Essen, Germany
- Gilles Perrouin, Faculty of Computer Science, University of Namur (FUNDP), Belgium
- Patrick Heymans, Faculty of Computer Science, University of Namur (FUNDP), Belgium
- Yves le Traon, Faculty of Science, Technology and Communication, University of Luxembourg, Campus Kirchberg, Luxemburg
Call for Papers
Please find the call for papers here.