| Presentation | 2023-02-28 A Test Generation Method to Identify Multiple Fault Pairs for Improved Fault Diagnosis Resolution Yuya Chida, Toshinori Hosokawa, Koji Yamazaki, |
|---|---|
| PDF Download Page |  PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | diagnostic test generation / fault diagnosis / register transfer level, / unidentifiable fault pairs / Partial Max SAT |
| Paper # | DC2022-83 |
| Date of Issue | 2023-02-21 (DC) |
| Conference Information | |
| Committee | DC |
|---|---|
| Conference Date | 2023/2/28(1days) |
| Place (in Japanese) | (See Japanese page) |
| Place (in English) | Kikai-Shinko-Kaikan Bldg |
| Topics (in Japanese) | (See Japanese page) |
| Topics (in English) | |
| Chair | Tatsuhiro Tsuchiya(Osaka Univ.) |
| Vice Chair | Toshinori Hosokawa(Nihon Univ.) |
| Secretary | Toshinori Hosokawa(Nihon Univ.) |
| Assistant | |
| Paper Information | |
| Registration To | Technical Committee on Dependable Computing |
|---|---|
| Language | JPN |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | A Test Generation Method to Identify Multiple Fault Pairs for Improved Fault Diagnosis Resolution |
| Sub Title (in English) | |
| Keyword(1) | diagnostic test generation |
| Keyword(2) | fault diagnosis |
| Keyword(3) | register transfer level, |
| Keyword(4) | unidentifiable fault pairs |
| Keyword(5) | Partial Max SAT |
| 1st Author's Name | Yuya Chida |
| 1st Author's Affiliation | Nihon University(NIhon Univ.) |
| 2nd Author's Name | Toshinori Hosokawa |
| 2nd Author's Affiliation | Nihon University(NIhon Univ.) |
| 3rd Author's Name | Koji Yamazaki |
| 3rd Author's Affiliation | Meiji University(Meiji Univ.) |
| Date | 2023-02-28 |
| Paper # | DC2022-83 |
| Volume (vol) | vol.122 |
| Number (no) | DC-393 |
| Page | pp.pp.6-11(DC), |
| #Pages | 6 |
| Date of Issue | 2023-02-21 (DC) |