HapTest: The Dynamic Analysis Framework for OpenHarmony. - Farong Liu; Mingyi Zhou; Yakun Zhang 001; Ting Su 001; Bo Sun 015; Jacques Klein; Xiang Gao 012; Li Li 029 (SIGSOFT FSE Companion, 2025)