| 
|
Quote: find bugs by automatic extraction of usage rules; as templates (beliefs) with few contradictions
topics >
all references >
references e-f >
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.
Topic: automated testing (24 items)
Topic: debugging by usage rules (40 items)