Skip to main content
SpringerLink
Log in

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

  • Introduction
  • Published:
International Journal on Software Tools for Technology Transfer Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  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)

  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)

  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)

  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)

Download references

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.

Author information

Authors and Affiliations

  1. Imperial College London, London, UK

    Alessandra Russo

  2. Technische Universitt Darmstadt, Darmstadt, Germany

    Andy Schürr

Authors
  1. Alessandra Russo
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Andy Schürr
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Andy Schürr.

Additional information

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Russo, A., Schürr, A. Model-based software quality assurance tools and techniques presented at FASE 2018. Int J Softw Tools Technol Transfer 22, 1–2 (2020). https://doi.org/10.1007/s10009-019-00541-3

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10009-019-00541-3

Keywords

Search

Navigation