(Semi) automatic Assertion Generation from Controlled Chinese Natural Language: A Practice in Aerospace Industry.

Shiyu Liu, Dongfang Li, Yasha Chen, Guang Yang

Browse the full QRS paper archive.