%0 Conference Paper %B Abstract State Machines %D 2003 %T Using Spin to Generate Tests from ASM Specifications %A Angelo Gargantini %A Elvinia Riccobene %A S Rinzivillo %B Abstract State Machines %P 263-277