| 
|
Quote: a formal framework for discovering inconsistency errors with a boolean SAT solver; e.g., 600 null dereferences in Linux
Topic:
consistency testing
Topic:
logic
Quotation Skeleton
Inconsistency checking is a method for detecting software … is best understood as a variant of the … formal framework for discovering inconsistency errors. Unlike previous … with complex aliasing and path-sensitive conditions. … [p. 436] We conduct an extensive experiment, analyzing over … have implemented both source-sink checking and inconsistency checking … inconsistency checking. … the discovered bugs are often local whereas understanding … [p. 442] Analyzing the Linux kernel with over 6 … Our system makes many calls to a boolean … Linux the number of SAT queries numbers in … [p. 444] We observe that [Engler et al's] notion of inconsistency … multiple uses of a value result in a … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: consistency testing (60 items)
Topic: logic (84 items)