2024-05-182024-05-1814060https://scholars.lib.ntu.edu.tw/handle/123456789/718387Verification AutomationSoftware Testing驗證自動化軟體測試