Chen, S. M. (2013). 基於iOS平台之即時影音串流編解碼模組研製 [master's thesis, National Tsing Hua University]. Airiti Library. https://doi.org/10.6843/NTHU.2013.00711
Chen, P. H. (2014). 自動化測試Android應用程式與藉線性時序邏輯之模型檢查 [master's thesis, National Taiwan University]. Airiti Library. https://doi.org/10.6342/NTU.2014.00870