Kuo-Kai Hsieh

According to our database, Kuo-Kai Hsieh authored at least 6 papers between 2014 and 2018.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2018

Toward Autonomous Verification Systems.

Kuo-Kai Hsieh

PhD thesis, 2018

A Concept Learning Tool Based On Calculating Version Space Cardinality.

Kuo-Kai Hsieh, Li-C. Wang

CoRR, 2018

2017

Data-Driven Test Plan Augmentation for Platform Verification.

Wen Chen, Kuo-Kai Hsieh, Li-Chung Wang, Jayanta Bhadra

IEEE Des. Test, 2017

Learning to Produce Direct Tests for Security Verification Using Constrained Process Discovery.

Kuo-Kai Hsieh, Li-C. Wang, Wen Chen, Jayanta Bhadra

Proceedings of the 54th Annual Design Automation Conference, 2017

Feature extraction from design documents to enable rule learning for improving assertion coverage.

Kuo-Kai Hsieh, Sebastian Siatkowski, Li-C. Wang, Wen Chen, Jayanta Bhadra

Proceedings of the 22nd Asia and South Pacific Design Automation Conference, 2017

2014

On application of data mining in functional debug.

Kuo-Kai Hsieh, Wen Chen, Li-C. Wang, Jayanta Bhadra

Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, 2014