1. Introduction to Selected Papers from SPIN 2017

   • Hakan Erdogmus
   • Klaus Havelund

   Introduction 18 March 2019 Pages: 247 - 248

2. EdSketch: execution-driven sketching for Java

   • Jinru Hua
   • Yushan Zhang
   • Sarfraz Khurshid

   SPIN 2017 16 March 2019 Pages: 249 - 265

   

3. An integrated environment for Spin-based C code checking

   • Daniel Ratiu
   • Andreas Ulrich

   SPIN 2017 18 February 2019 Pages: 267 - 286

   

4. Stateless model checking of the Linux kernel’s read–copy update (RCU)

   • Michalis Kokologiannakis
   • Konstantinos Sagonas

   SPIN 2017 Open access 11 March 2019 Pages: 287 - 306

   

5. Model checking with generalized Rabin and Fin-less automata

   • Vincent Bloemen
   • Alexandre Duret-Lutz
   • Jaco van de Pol

   SPIN 2017 Open access 25 February 2019 Pages: 307 - 324

   

6. An ordered approach to solving parity games in quasi-polynomial time and quasi-linear space

   • John Fearnley
   • Sanjay Jain
   • Dominik Wojtczak

   SPIN 2017 25 February 2019 Pages: 325 - 349

   

7. A reasoning-based approach to dynamic domain reduction in test data generation

   • Esmaeel Nikravan
   • Saeed Parsa

   Regular Paper 08 May 2018 Pages: 351 - 364