runspin and parsepan

The PDF-file runspin-parsepan.pdf is a preprint of the SPIN 2014 (short) paper:

Unit Testing for SPIN: runspin and parsepan
by Theo C. Ruys

Copyright (C) 2014, Theo Ruys, The Netherlands, 16 June 2014.