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 |
