Contents of Report

[Data of Report]

Report Number:
TR0836
Date of Registration:
1993.03
English Title:
Bug Detection Method Over AND/OR -Computation Tree
Japanese Title:
***
English Author:
K.Takahashi
Japanese:
***
Name of Organization to which author belongs:
Mitsubishi
PDF:
tr0836.pdf

[Contents]

Abstract.... 2
1Introduction.... 2
2Framework.... 5
3Bug Detection Algorithm.... 7
3.1Construction of a Reduced AND/OR-tree.... 7
3.2Detection of Fatal Branching Points.... 8
3.3Traverse of the Tree.... 10
4The Class for Which Algorithm Can Be Simplified.... 13
5Comparison with Other Works.... 15
5.1Comparison with Representative World Method.... 15
5.2Comparison with Algorithmic Debugger.... 16
5.3Comparison with ATMS.... 16
6Concluding Remarks.... 17
References.... 17
End.... 19

目次をクリックすると、PDFファイルが表示されます。

ICOT研究論文（TR）一覧に戻る / Back to the list of ICOT Technical Reports