Safety requirement oriented test sequence generation algorithm for safety communication protocol
李弋强 徐中伟 喻钢
Journal of Computer Applications . 2009, (07): 1828 -1831 .