Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2024/02/01 Vol. E107-DNo. 2 ;
pp. 234-238 Type of Manuscript: LETTER Category: Software Engineering Keyword: debugging, fault localization, VAE, fault propagation,
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2013/05/01 Vol. E96-DNo. 5 ;
pp. 1068-1077 Type of Manuscript: PAPER Category: Fundamentals of Information Systems Keyword: determinism, message-passing, debugging, distributed computing,
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2010/08/01 Vol. E93-DNo. 8 ;
pp. 2100-2108 Type of Manuscript: Special Section PAPER (Special Section on Multiple-Valued Logic and VLSI Computing) Category: Multiple-Valued VLSI Technology Keyword: AMBA, debugging, system-on-a-chip (SoC), protocol checker, verification,