Linking Design Model with Code. - Candice Eckert; Brian Cham; Pengyi Li 002; Jing Sun 002; Gillian Dobbie (Int. J. Softw. Eng. Knowl. Eng., 2016)

Towards Code Generation from Design Models. - Pengyi Li 002; Jing Sun 002; Hai Wang 016 (SEKE, 2017)

Formal Approach to Assertion-Based Code Generation. - Pengyi Li 002; Jing Sun 002; Hai Wang 016 (Int. J. Softw. Eng. Knowl. Eng., 2017)