Test Plan Generation for Concurrent Real-Time Systems Based on Zone Coverage Analysis.

Wang, FarnFarnWangHuang, Geng-DianGeng-DianHuangFARN WANG2020-06-042020-06-042008https://scholars.lib.ntu.edu.tw/handle/123456789/497125[SDGs]SDG9Test Plan Generation for Concurrent Real-Time Systems Based on Zone Coverage Analysis.conference paper10.1007/978-3-540-68524-1_17https://doi.org/10.1007/978-3-540-68524-1_17