Using Spin to Generate Tests from ASM Specifications

You are here

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