Kuo-Kai Hsieh

Publication Activity (10 Years)

Years Active: 2014-2018
Publications (10 Years): 4

Top Topics

Planning Domains

Top Venues

University of California, Santa Barbara, USA (PHD)

Education History

University of California, Santa Barbara, USA

PHD

Publications

Kuo-Kai Hsieh, Li-C. Wang
A Concept Learning Tool Based On Calculating Version Space Cardinality. CoRR (2018)
Wen Chen, Kuo-Kai Hsieh, Li-Chung Wang, Jayanta Bhadra
Data-Driven Test Plan Augmentation for Platform Verification. IEEE Des. Test 34 (5) (2017)
Kuo-Kai Hsieh, Li-C. Wang, Wen Chen, Jayanta Bhadra
Learning to Produce Direct Tests for Security Verification Using Constrained Process Discovery. DAC (2017)
Kuo-Kai Hsieh, Sebastian Siatkowski, Li-C. Wang, Wen Chen, Jayanta Bhadra
Feature extraction from design documents to enable rule learning for improving assertion coverage. ASP-DAC (2017)
Kuo-Kai Hsieh, Wen Chen, Li-C. Wang, Jayanta Bhadra
On application of data mining in functional debug. ICCAD (2014)