OBL: A Formal Deduction Method for Object-Oriented Systems. - Kuangnan Chang; David Chenho Kung; Pei Hsia (COMPSAC, 1999)

Model Checking with Induction. - Kuangnan Chang; David Chenho Kung (COMPSAC (1), 2006)

Virus Removal Cost (VRC) Metric. - Kuangnan Chang; Bobby Adkins (Software Engineering Research and Practice, 2006)