![[IEEE 2009 International Forum on Information Technology and Applications (IFITA) - Chengdu, China (2009.05.15-2009.05.17)] 2009 International Forum on Information Technology and Applications - An Approach for Automated Safety Testing of Safety-Critical Software System Based on Safety Requirements]()
[IEEE 2009 International Forum on Information Technology and Applications (IFITA) - Chengdu, China (2009.05.15-2009.05.17)] 2009 International Forum on Information Technology and Applications - An Approach for Automated Safety Testing of Safety-Critical Software System Based on Safety RequirementsYu, Gang; Xu, Zhong wei; Du, Jun wei · 2009