Testing Vehicle-Mounted Systems: A Stepwise Symbolic Execution Approach for OSEK/VDX Programs. - Haitao Zhang; Bowen Pu (TASE, 2022)

Bridging China's Intergenerational Cultural Divide: Unveiling Design Pathways for Grandparent-Grandchild Products. - Kuo-Liang Huang; Bowen Pu; Hsuan Lin (HCI (17), 2025)