DMCA

Test Generation for Sequential Nets of Abstract State Machines with Information Passing (2013)

by Paolo Arcaini , Angelo Gargantini
Citations:4 - 3 self