1. Introduction to the Special Issue devoted to SPIN 2018

   • María del Mar Gallardo
   • Pedro Merino

   Introduction 21 January 2020 Pages: 103 - 104

2. Model-based testing of apps in real network scenarios

   • Laura Panizo
   • Almudena Díaz
   • Bruno García

   SPIN 2018 01 April 2019 Pages: 105 - 114

   

3. Joint forces for memory safety checking revisited

   • Marek Chalupa
   • Jan Strejček
   • Martina Vitovská

   SPIN 2018 06 August 2019 Pages: 115 - 133

   

4. IC3 software model checking

   • Tim Lange
   • Martin R. Neuhäußer
   • Joost-Pieter Katoen

   SPIN 2018 05 November 2019 Pages: 135 - 161

   

5. Counting Petri net markings from reduction equations

   • Bernard Berthomieu
   • Didier Le Botlan
   • Silvano Dal Zilio

   Spin 2018 30 April 2019 Pages: 163 - 181

   

6. A greedy particle swarm optimization (GPSO) algorithm for testing real-world smart card applications

   • Hamzeh M. Allawi
   • Waref Al Manaseer
   • Mohammad Al Shraideh

   Regular Paper 11 December 2018 Pages: 183 - 194

   

7. Spatial logics and model checking for medical imaging

   • Fabrizio Banci Buonamici
   • Gina Belmonte
   • Mieke Massink

   Regular Paper 22 February 2019 Pages: 195 - 217

   

8. A formal approach to AADL model-based software engineering

   • Hana Mkaouar
   • Bechir Zalila
   • Mohamed Jmaiel

   Regular Paper 07 March 2019 Pages: 219 - 247