| 
|
QuoteRef: englD10_2001
topics >
all references >
ThesaHelp:
ACM references a-e
Topic:
debugging by usage rules
Topic:
automated testing
Topic:
state machine
Topic:
model checker
Topic:
device driver
Topic:
statistics
Topic:
good requirement specifications
Topic:
software documentation
Reference
Engler, D., Chen, D.Y., Hallem, S., Chou, A., Chelf, B., "Bugs as deviant behavior: a general approach to inferring errors in systems code", Proceedings of the 18th ACM Symposium on Operating Systems Principles (SOSP'01), Banff, Alberta, Canada, October 2001, Operating Systems Review, 35.5, Dec 2001, ACM Press, pp. 57-72. Google
abstract ;;Quote: find bugs by automatic extraction of usage rules; as templates (beliefs) with few contradictions
59 ;;Quote: rules for automated checks of consistency
60 ;;Quote: using consistency rules to catch null reference errors
61 ;;Quote: Metal is a state machine language for analyzing programs; like yacc
61 ;;Quote: rank potential errors by ease-of-diagnosis, seriousness, and likelihood of false positives; rarely inspect all errors
61 ;;Quote: static source code analysis is automatic, descriptive, and finds bugs in untestable code
62 ;;Quote: extend static source code analysis to related code that shares the same belief set
63 ;;Quote: rank potential errors by the z statistic for proportions; deviation of observed ratio from expected ratio
63 ;;Quote: rank potential errors instead of beliefs; beliefs are too sensitive to threshold
64 ;;Quote: latent specifications in text by naming conventions, assertions, etc.; e.g., lock.. and unlock.., free.. and release..
ThesaHelp: ACM references a-e (259 items)
Topic: debugging by usage rules (41 items)
Topic: automated testing (25 items)
Topic: state machine (67 items)
Topic: model checker (49 items)
Topic: device driver (15 items)
Topic: statistics (12 items)
Topic: good requirement specifications (36 items)
Topic: software documentation (64 items)