Introduction to the Special Issue devoted to SPIN 2018 María del Mar GallardoPedro Merino Introduction 21 January 2020 Pages: 103 - 104
Model-based testing of apps in real network scenarios Laura PanizoAlmudena DíazBruno García SPIN 2018 01 April 2019 Pages: 105 - 114
Joint forces for memory safety checking revisited Marek ChalupaJan StrejčekMartina Vitovská SPIN 2018 06 August 2019 Pages: 115 - 133
IC3 software model checking Tim LangeMartin R. NeuhäußerJoost-Pieter Katoen SPIN 2018 05 November 2019 Pages: 135 - 161
Counting Petri net markings from reduction equations Bernard BerthomieuDidier Le BotlanSilvano Dal Zilio Spin 2018 30 April 2019 Pages: 163 - 181
A greedy particle swarm optimization (GPSO) algorithm for testing real-world smart card applications Hamzeh M. AllawiWaref Al ManaseerMohammad Al Shraideh Regular Paper 11 December 2018 Pages: 183 - 194
Spatial logics and model checking for medical imaging Fabrizio Banci BuonamiciGina BelmonteMieke Massink Regular Paper 22 February 2019 Pages: 195 - 217
A formal approach to AADL model-based software engineering Hana MkaouarBechir ZalilaMohamed Jmaiel Regular Paper 07 March 2019 Pages: 219 - 247