VAST 2011 workshop summary

Abstract

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.

References

1. Emelie Engstrom and Per Runeson. Decision support for test management and scope selection in a software product line context. In 1st Int'l Workshop on Variability-intensive Systems Testing, Validation & Verification (VAST) in Software Testing, Verification, and Validation Workshops (ICSTW), Berlin, Germany, March 2011. IEEE.
2. Martin Fagereng Johansen, Oystein Haugen, and Franck Fleurey. A survey of empirics of strategies for software product line testing. In 1st Int'l Workshop on Variability-intensive Systems Testing, Validation & Verification (VAST) in Software Testing, Verification, and Validation Workshops (ICSTW), Berlin, Germany, March 2011. IEEE.
3. Alessandro Marchetto, Cu Duy Nguyen, and Paolo Tonella. Automated detection of discontinuities in models inferred from execution traces. In 1st Int'l Workshop on Variability-intensive Systems Testing, Validation & Verification (VAST) in Software Testing, Verification, and Validation Workshops (ICSTW), Berlin, Germany, March 2011. IEEE.
4. Elke Salecker, Robert Reicherdt, and Sabine Glesner. Calculating prioritized interaction test sets with constraints using binary decision diagrams. In 1st Int'l Workshop on Variability-intensive Systems Testing, Validation & Verification (VAST) in Software Testing, Verification, and Validation Workshops (ICSTW), Berlin, Germany, March 2011. IEEE.
5. Thomas Thüm, Ina Schaefer, Martin Kuhlemann, and Sven Apel. Proof composition for deductive verification of software product lines. In 1st Int'l Workshop on Variability-intensive Systems Testing, Validation & Verification (VAST) in Software Testing, Verification, and Validation Workshops (ICSTW), Berlin, Germany, March 2011. IEEE.
6. Erik Wittern and Christian Zirpins. Validating service value propositions regarding stakeholder preferences. In 1st Int'l Workshop on Variability-intensive Systems Testing, Validation & Verification (VAST) in Software Testing, Verification, and Validation Workshops (ICSTW), Berlin, Germany, March 2011. IEEE.

Index Terms

• General and reference