| 
|
QuoteRef: liblB6_2003
topics >
all references >
ThesaHelp:
references i-l
ThesaHelp:
ACM references f-l
Topic:
program statistics
Topic:
consistency testing
Topic:
automated testing
Topic:
test data selection
Topic:
statistical testing based on a usage profile
Topic:
statistics
Topic:
monitored statements and events
Reference
Liblit, B., Zheng, A.X., Aiken, A., Jordan, M.I., "Bug isolation via remote program sampling", Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation (PLDI'03), San Diego, California USA, June 2003, ACM SIGPLAN, pp. 141-154. Google
142 ;;Quote: use sampling to test for assertion failures across a large user base
142 ;;Quote: use sampling to identify predicates that are always true for a bug; called deterministic bugs
142 ;;Quote: use sampling and statistical regression to identify predicates that are correlated with program failure
143 ;;Quote: sample code execution as a Bernoulli process using pre-generated random countdowns; fast path is a decrement, compare, and branch
145 ;;Quote: use event counts instead of event traces when sampling over a large user base
147 ;;Quote: for deterministic bugs, discard irrelevant predicates by universal falsehood, lack of failing coverage, lack of failing example, successful counterexample
ThesaHelp: references i-l (342 items)
ThesaHelp: ACM references f-l (241 items)
Topic: program statistics (27 items)
Topic: consistency testing (60 items)
Topic: automated testing (24 items)
Topic: test data selection (39 items)
Topic: statistical testing based on a usage profile (27 items)
Topic: statistics (12 items)
Topic: monitored statements and events (16 items)