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

   • Alessandra Russo
   • Andy Schürr

   Introduction 11 October 2019 Pages: 1 - 2

2. Correct-by-construction model-based design of reactive streaming software for multi-core embedded systems

   • Fotios Gioulekas
   • Peter Poplavko
   • Pedro Palomo

   FASE 2018 01 June 2019 Pages: 3 - 32

   

3. Correction to: Correct-by-construction model-based design of reactive streaming software for multi-core embedded systems

   • Fotios Gioulekas
   • Peter Poplavko
   • Pedro Palomo

   Correction 12 July 2019 Pages: 33 - 34

   

4. \(\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

   

5. Diversity of graph models and graph generators in mutation testing

   • Oszkár Semeráth
   • Rebeka Farkas
   • Dániel Varró

   FASE 2018 Open access 11 September 2019 Pages: 57 - 78

   

6. Distributed graph queries over models@run.time for runtime monitoring of cyber-physical systems

   • Márton Búr
   • Gábor Szilágyi
   • Dániel Varró

   FASE 2018 Open access 26 September 2019 Pages: 79 - 102