Model-based software quality assurance tools and techniques presented at FASE 2018 Alessandra RussoAndy Schürr Introduction 11 October 2019 Pages: 1 - 2
Correct-by-construction model-based design of reactive streaming software for multi-core embedded systems Fotios GioulekasPeter PoplavkoPedro Palomo FASE 2018 01 June 2019 Pages: 3 - 32
Correction to: Correct-by-construction model-based design of reactive streaming software for multi-core embedded systems Fotios GioulekasPeter PoplavkoPedro Palomo Correction 12 July 2019 Pages: 33 - 34
\(\hbox {CTL}^{\star }\) family-based model checking using variability abstractions and modal transition systems Aleksandar S. Dimovski FASE 2018 09 August 2019 Pages: 35 - 55
Diversity of graph models and graph generators in mutation testing Oszkár SemeráthRebeka FarkasDániel Varró FASE 2018 Open access 11 September 2019 Pages: 57 - 78
Distributed graph queries over models@run.time for runtime monitoring of cyber-physical systems Márton BúrGábor SzilágyiDániel Varró FASE 2018 Open access 26 September 2019 Pages: 79 - 102