Augmenting static program analysis and design verification with pattern recognition
Sun Ding
Abstract
Open-access reader
Sun Ding
Abstract
Open-access reader
The life I lived as a PhD student in NTU is a journey to reinvent myself.I learnt a lot from this journey.It gives me great pleasure to recount them here.Foremost acknowledge must go to
A significance statement is not available in the OpenAlex record.
A contribution statement is not available in the OpenAlex record.
Method details are not available in the OpenAlex metadata.
Findings are not separately available in the OpenAlex metadata.
Limitations are not available in the OpenAlex metadata.
Application details are not available in the OpenAlex metadata.
The life I lived as a PhD student in NTU is a journey to reinvent myself.I learnt a lot from this journey.It gives me great pleasure to recount them here.Foremost acknowledge must go to
Key concepts: Computer science, Human–computer interaction, Data science