Map
Index
Random
Help
th

Quote: find bugs by automatic extraction of usage rules; as templates (beliefs) with few contradictions

topics > all references > references e-f > QuoteRef: englD10_2001 , p. abstract



Topic:
automated testing
Topic:
debugging by usage rules

Quotation Skeleton

A major obstacle to finding program errors in … undocumented or specified in an ad hoc manner. … than the programmer, thereby avoiding the need for … we then cross-check for contradictions. … For example, a call to "spin_lock" followed once … If the pairing happens 999 out of 1000 … … Conceptually, our checkers extract beliefs by tailoring rule … must be paired with ." We have developed … as Linux and OpenBSD.   Google-1   Google-2

Copyright clearance needed for quotation.


Related Topics up

Topic: automated testing (24 items)
Topic: debugging by usage rules (40 items)

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