Masahiro Fujita. Detection of test Patterns with Unreachable States through Efficient Inductive-Invariant Identification. In 24th IEEE Asian Test Symposium, ATS 2015, Mumbai, India, November 22-25, 2015. pages 31-36, IEEE, 2015. [doi]
Abstract is missing.