On application of data mining in functional debug. - Kuo-Kai Hsieh; Wen Chen 016; Li-C. Wang; Jayanta Bhadra (ICCAD, 2014)

Feature extraction from design documents to enable rule learning for improving assertion coverage. - Kuo-Kai Hsieh; Sebastian Siatkowski; Li-C. Wang; Wen Chen 016; Jayanta Bhadra (ASP-DAC, 2017)

Learning to Produce Direct Tests for Security Verification Using Constrained Process Discovery. - Kuo-Kai Hsieh; Li-C. Wang; Wen Chen 016; Jayanta Bhadra (DAC, 2017)

Data-Driven Test Plan Augmentation for Platform Verification. - Wen Chen 016; Kuo-Kai Hsieh; Li-Chung Wang; Jayanta Bhadra (IEEE Des. Test, 2017)

A Concept Learning Tool Based On Calculating Version Space Cardinality. - Kuo-Kai Hsieh; Li-C. Wang (CoRR, 2018)

Toward Autonomous Verification Systems. - Kuo-Kai Hsieh (2018)