Kuo-Kai Hsieh

Learning to produce direct tests for security verification using constrained process discovery

Wen Chen, Li-C. Wang, Jayanta Bhadra, 2017, 2017 54th ACM/EDAC/IEEE Design Automation Conference (DAC).

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

Wen Chen, Li-C. Wang, Jayanta Bhadra, 2017, 2017 22nd Asia and South Pacific Design Automation Conference (ASP-DAC).

On application of data mining in functional debug

Wen Chen, Li-C. Wang, Jayanta Bhadra, 2014, 2014 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).