Test Generation for Sequential Nets of Abstract State Machines, in (0)

by P Arcaini, F Bolis, A Gargantini
Venue:Riccobene (Eds.), Proceedings of the Third International Conference on Abstract State Machines, Alloy, B, VDM, and (ABZ 2012