Using Spin to Generate Tests from ASM Specifications
| Title | Using Spin to Generate Tests from ASM Specifications |
| Publication Type | Conference Paper |
| Year of Publication | 2003 |
| Authors | Gargantini, A, Riccobene, E, Rinzivillo, S |
| Conference Name | Abstract State Machines |