Completely Self-Checking Checkers in PLAs. - Kyushik Son; Dhiraj K. Pradhan (ITC, 1981)

Rule Based Testability Checker and Test Generator. - Kyushik Son (ITC, 1985)