Automated continuous quality assurance

  title={Automated continuous 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},
  journal={2012 First International Workshop on Formal Methods in Software Engineering: Rigorous and Agile Approaches (FormSERA)},
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… CONTINUE READING

From This Paper

Figures, tables, and topics from this paper.


Publications citing this paper.
Showing 1-5 of 5 extracted citations


Publications referenced by this paper.

Model Checking

E. M. Clarke, O. Grumberg, D. A. Peled
MIT Press • 2001
View 4 Excerpts
Highly Influenced

Similar Papers

Loading similar papers…