Login / Signup
A Scalable Incomplete Test for Message Buffer Overflow in Promela Models.
Stefan Leue
Richard Mayr
Wei Wei
Published in:
SPIN (2004)
Keyphrases
</>
data mining
test data