Map
Index
Random
Help
th

Quote: double check the finite state model by setting and getting the user ids

topics > all references > references c-d > QuoteRef: chenH8_2002 , p. 7



Topic:
state machine
Topic:
consistency testing

Quotation Skeleton

To ensure maximum confidence in the correctness of … of SETSTATE() succeeds. First, we check the return … [p. 8] Second, we call getresuid and check that all three user …   Google-1   Google-2

Copyright clearance needed for quotation.


Related Topics up

Topic: state machine (67 items)
Topic: consistency testing (60 items)

Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.