Issue 3/2019
SPIN 2017 (pp. 247-349)
Content (7 Articles)
SPIN 2017
EdSketch: execution-driven sketching for Java
Jinru Hua, Yushan Zhang, Yuqun Zhang, Sarfraz Khurshid
Open Access
SPIN 2017
Stateless model checking of the Linux kernel’s read–copy update (RCU)
Michalis Kokologiannakis, Konstantinos Sagonas
Open Access
SPIN 2017
Model checking with generalized Rabin and Fin-less automata
Vincent Bloemen, Alexandre Duret-Lutz, Jaco van de Pol
SPIN 2017
An ordered approach to solving parity games in quasi-polynomial time and quasi-linear space
John Fearnley, Sanjay Jain, Bart de Keijzer, Sven Schewe, Frank Stephan, Dominik Wojtczak
Regular Paper
A reasoning-based approach to dynamic domain reduction in test data generation
Esmaeel Nikravan, Saeed Parsa