Cooperative Bug Isolation

>> Google Books

Cooperative Bug Isolation / Ben Liblit, David Hutchison, Takeo Kanade, Association for Computing Machinery.

資料種別:

電子ブック

出版情報:

Springer eBooks Computer Science
Springer Berlin Heidelberg, 2007

著者名:

ISBN:

9783540718772 [354071877X]
9786610865727 [6610865728]

書誌ID:

OB00354081

子書誌情報

フルテキスト

所蔵情報

書誌詳細

主題:

Information Technology - Software Engineering

言語:

英語

目次情報:

Introduction / 1：

Perfect, or Close Enough / 1.1：

Automatic Failure Reporting / 1.2：

The Next Step Forward / 1.3：

Cooperative Bug Isolation / 1.4：

Instrumentation Framework / 2：

Basic Instrumentation Strategy / 2.1：

Sampling the Bernoulli Way / 2.1.1：

From Blocks to Functions / 2.1.2：

Interprocedural Issues / 2.1.3：

Instrumentation Schemes for Distributed Debugging / 2.2：

Issues in Remote Sampling / 2.2.1：

Counter-Based Instrumentation Schemes / 2.2.2：

Additional Instrumentation Schemes / 2.2.3：

Performance and Optimizations / 2.3：

Static Branch Prediction / 2.3.1：

Weightless Functions / 2.3.2：

Empty and Singleton Regions / 2.3.3：

Local Countdown Caching / 2.3.4：

Random Countdown Generation / 2.3.5：

Path Balancing / 2.3.6：

Statically Selective Sampling / 2.3.7：

Optimization Recap / 2.3.8：

Adaptive Sampling / 2.4：

Nonuniformity Via Multiple Countdowns / 2.4.1：

Nonuniformity Via Non-Unit Site Weights / 2.4.2：

Policy Notes / 2.4.3：

Realistic Sampling Rates / 2.5：

Practical Considerations / 3：

Native Compiler Integration / 3.1：

Static Site Information / 3.1.1：

Libraries and Plugins / 3.2：

Threads / 3.3：

Next-Sample Countdown / 3.3.1：

Predicate Counters / 3.3.2：

Compilation Unit Registry and Report File / 3.3.3：

Time Stamp Clock / 3.3.4：

Performance Evaluation / 3.3.5：

Privacy and Security / 3.4：

User Interaction / 3.5：

Status of the Public Deployment / 3.6：

Resource Requirements / 3.6.1：

Reporting Trends / 3.6.2：

Techniques for Statistical Debugging / 4：

Notation and Terminology / 4.1：

Predicate Elimination / 4.2：

Instrumentation Strategy / 4.2.1：

Elimination Strategies / 4.2.2：

Data Collection and Analysis / 4.2.3：

Refinement over time / 4.2.4：

Performance Impact / 4.2.5：

Limitations and Insights / 4.2.6：

Regularized Logistic Regression / 4.3：

Crash Prediction Using Logistic Regression / 4.3.1：

Moss: A Multiple-Bug Challenge / 4.3.2：

Nonuniform Sampling / 4.4.1：

Analysis Results / 4.4.2：

Iterative Bug Isolation and Elimination / 4.5：

Increase Scores / 4.5.1：

Statistical Interpretation / 4.5.2：

Balancing Specificity and Sensitivity / 4.5.3：

Redundancy Elimination / 4.5.4：

Case Studies / 4.6：

Moss / 4.6.1：

CCRYPT / 4.6.2：

BC / 4.6.3：

EXIF / 4.6.4：

Rhythmbox / 4.6.5：

Related Work / 5：

Static Analysis / 5.1：

Profiling and Tracing / 5.2：

Dynamic Analysis / 5.3：

Conclusion / 6：

References

Introduction / 1：

Perfect, or Close Enough / 1.1：

Automatic Failure Reporting / 1.2：

The Next Step Forward / 1.3：

Cooperative Bug Isolation / 1.4：

Instrumentation Framework / 2：

続きを見る

東工大ブックレビュー

類似資料:

1 電子ブック Cooperative Bug Isolation Liblit, Ben, Hutchison, David, Kanade, Takeo, Association for Computing Machinery. SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	7 電子ブック System Analysis and Modeling: Theory and Practice Hutchison, David; Kanade, Takeo; Kittler, Josef, Association for Computing Machinery-Digital Library. ACM Digital Library Proceedings, Springer Berlin Heidelberg
2 電子ブック ECOOP 2010 ? Object-Oriented Programming Hutchison, David, Kanade, Takeo, Association for Computing Machinery-Digital Library. Springer eBooks Computer Science, Springer Berlin Heidelberg	8 電子ブック Proceedings of the 24th European conference on Object-oriented programming Hutchison, David, Kanade, Takeo, Association for Computing Machinery-Digital Library., Kittler, Josef SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
3 電子ブック ECOOP 2010 EObject-Oriented Programming Hutchison, David, Kanade, Takeo, Association for Computing Machinery-Digital Library. ACM Digital Library Proceedings, Springer Berlin Heidelberg	9 電子ブック Proceedings of the 11th international conference on Functional and Logic Programming Hutchison, David, Kanade, Takeo, Association for Computing Machinery-Digital Library., Kittler, Josef, Thiemann, Peter SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
4 電子ブック Functional and Logic Programming Hutchison, David, Kanade, Takeo, Association for Computing Machinery-Digital Library. ACM Digital Library Proceedings, Springer Berlin Heidelberg	10 電子ブック Proceedings of the 7th international conference on System Analysis and Modeling: theory and practice Hutchison, David; Kanade, Takeo; Kittler, Josef, Association for Computing Machinery-Digital Library., Gotzhein, … SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
5 電子ブック Functional and Logic Programming Hutchison, David, Kanade, Takeo, Association for Computing Machinery-Digital Library. Springer eBooks Computer Science, Springer Berlin Heidelberg	11 電子ブック Model Driven Engineering Languages and Systems Nierstrasz, Oscar, Harel, David, Kanade, Takeo, Nierstrasz, Oscar Marius, Reggio, Gianna, Whittle, Jon, Association for … Springer eBooks Computer Science, Springer Berlin Heidelberg
6 電子ブック System Analysis and Modeling: Theory and Practice Hutchison, David; Kanade, Takeo; Kittler, Josef, Association for Computing Machinery-Digital Library. Springer eBooks Computer Science, Springer Berlin Heidelberg	12 電子ブック Model Driven Engineering Languages and Systems Nierstrasz, Oscar, Harel, David, Kanade, Takeo, Nierstrasz, Oscar Marius, Reggio, Gianna, Whittle, Jon, Association for … ACM Digital Library Proceedings, Springer Berlin Heidelberg

1

2

3

4

5

6

7

8

9

10

11

12