Generating Test Cases from Requirements: A Case Study in Railway Control System Domain.

Hanyue Zheng, Jincao Feng, Weikai Miao, Geguang Pu

Browse the full TASE paper archive.