Using Spin to Generate Tests from ASM Specifications

TitleUsing Spin to Generate Tests from ASM Specifications
Publication TypeConference Paper
Year of Publication2003
AuthorsGargantini, A, Riccobene E, Rinzivillo S
Conference NameAbstract State Machines