TY - CONF T1 - Using Spin to Generate Tests from ASM Specifications T2 - Abstract State Machines Y1 - 2003 A1 - Angelo Gargantini A1 - Elvinia Riccobene A1 - S Rinzivillo JF - Abstract State Machines ER -