Advertisement

Model-based software quality assurance tools and techniques presented at FASE 2018

  • Alessandra Russo
  • Andy SchürrEmail author
Introduction
  • 12 Downloads

Abstract

This special issue contains revised and substantially extended versions of a few of the best papers presented at FASE 2018. These papers share one common theme, the development of new model-based software quality assurance methods, and cover a substantial section of the whole spectrum of today available quality assurance tools and techniques.

Keywords

Model-based software engineering Quality assurance Software engineering foundations 

Notes

Acknowledgements

We are grateful to the editors of the International Journal on Software Tools for Technology Transfer for allowing us to publish this collection of papers as a special issue. We are also grateful to all Programme Committee members of FASE 2018 and reviewers involved in selecting and reviewing the papers included in this special issue. Their thorough reviews and guidance have helped to improve the quality of the papers published here. Last but not least, we thank the authors.

References

  1. 1.
    Gioulekas, F., Poplavko, P., Katsaros, P., Bensalem, S., Palomo, P.: Correct-by-construction model-based design of reactive streaming software for multi-core embedded systems. Int. J. Softw. Tools Technol. Transfer (in this issue) (2019)Google Scholar
  2. 2.
    Dimovski, A.S.: CTL* family-based model checking using variability abstractions and modal transition systems. Int. J. Softw. Tools Technol. Transfer (in this issue) (2019)Google Scholar
  3. 3.
    Semeráth, O., Farkas, R., Bergmann, G., Varró, D.: Diversity of graph models and graph generators in mutation testing. Int. J. Softw. Tools Technol. Transfer (in this issue) (2019)Google Scholar
  4. 4.
    Búr, M., Szilágyi, G., Vörös, A., Varró, D.: Distributed graph queries over models@run.time for runtime monitoring of cyber-physical systems. Int. J. Softw. Tools Technol. Transfer (in this issue) (2019)Google Scholar

Copyright information

© Springer-Verlag GmbH Germany, part of Springer Nature 2019

Authors and Affiliations

  1. 1.Imperial College LondonLondonUK
  2. 2.Technische Universitt DarmstadtDarmstadtGermany

Personalised recommendations