Test Directive Generation for Functional Coverage Closure Using Inductive Logic Programming. - Hsiou-Wen Hsueh; Kerstin Eder (HLDVT, 2006)

Towards Automating Simulation-Based Design Verification Using ILP. - Kerstin Eder; Peter A. Flach; Hsiou-Wen Hsueh (ILP, 2006)