Keyword : algorithmic debugging


High-Level VLSI Design Specification Validation Using Algorithmic Debugging
Jiro NAGANUMA Takeshi OGURA Tamio HOSHINO 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1994/12/25
Vol. E77-A  No. 12 ; pp. 1988-1998
Type of Manuscript:  Special Section PAPER (Special Section on VLSI Design and CAD Algorithms)
Category: 
Keyword: 
high-level design specification validationstructured analysis methodalgorithmic debugginglogic programming languages
 Summary | Full Text:PDF

Critical Slice-Based Fault Localization for Any Type of Error
Takao SHIMOMURA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1993/06/25
Vol. E76-D  No. 6 ; pp. 656-667
Type of Manuscript:  PAPER
Category: Software Systems
Keyword: 
algorithmic debuggingerrorsfailuresfaultsslicesverification
 Summary | Full Text:PDF