4 papers:
DATE-2013-BernardiBSRB #embedded #fault #identification #online- On-line functionally untestable fault identification in embedded processor cores (PB, MB, ES, MSR, OB), pp. 1462–1467.
LATA-2010-JordanZ #first-order #quantifier- Untestable Properties Expressible with Four First-Order Quantifiers (CJ, TZ), pp. 333–343.
- DATE-2003-SyalH #algorithm #fault #identification #low cost #novel
- A Novel, Low-Cost Algorithm for Sequentially Untestable Fault Identification (MS, MSH), pp. 10316–10321.
- DATE-2002-Hsiao #fault #identification
- Maximizing Impossibilities for Untestable Fault Identification (MSH), pp. 949–953.
