@inproceedings{3a8330bae3b742c5a5e79f38abb2fbe5,
title = "Automated continuous quality assurance",
abstract = "We present a case study that illustrates the power of active learning for enabling the automated quality assurance of complex and distributed evolving systems. We illustrate how the development of the OCS, Springer Verlag's Online Conference System, is supported by continuous learning-based testing, that by its nature maintains the synchrony of the running application and the learned (test) model. The evolution of the test model clearly indicates which portions of the system remain stable and which are altered. Thus our approach includes classical regression testing and feature interaction detection. We show concretely how model checking, automata learning, and quantitative analysis concur with the holistic quality assurance of this product.",
keywords = "active learning, model-based testing, quality assurance",
author = "Johannes Neubauer and Bernhard Steffen and Oliver Bauer and Stephan Windm{\"u}ller and Maik Merten and Tiziana Margaria and Falk Howar",
year = "2012",
doi = "10.1109/FormSERA.2012.6229787",
language = "English",
isbn = "9781467319065",
series = "2012 1st International Workshop on Formal Methods in Software Engineering: Rigorous and Agile Approaches, FormSERA 2012 - Proceedings",
pages = "37--43",
booktitle = "2012 1st International Workshop on Formal Methods in Software Engineering",
note = "2012 1st International Workshop on Formal Methods in Software Engineering: Rigorous and Agile Approaches, FormSERA 2012 ; Conference date: 02-06-2012 Through 02-06-2012",
}