VAST 2011 workshop summary

The purpose of this article is to report about the first international workshop on Variability-intensive Systems Testing, Validation & Verification (VAST) which was held as part of the IEEE International Conference on Software Testing, Verification & Validation in Berlin on March 21st, 2011.

[1]  Christian Zirpins,et al.  Validating Service Value Propositions Regarding Stakeholder Preferences , 2011, 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops.

[2]  Sabine Glesner,et al.  Calculating Prioritized Interaction Test Sets with Constraints Using Binary Decision Diagrams , 2011, 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops.

[3]  Øystein Haugen,et al.  A Survey of Empirics of Strategies for Software Product Line Testing , 2011, 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops.

[4]  Per Runeson,et al.  Decision Support for Test Management and Scope Selection in a Software Product Line Context , 2011, 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops.

[5]  Paolo Tonella,et al.  Automated Detection of Discontinuities in Models Inferred from Execution Traces , 2011, 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops.

[6]  Sven Apel,et al.  Proof Composition for Deductive Verification of Software Product Lines , 2011, 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops.