Ruizhi Gao, Jeong Soo Eo, W. Eric Wong, Xinwei Gao, Shou-Yu Lee. An empirical study of requirements-based test generation on an automobile control system. In Yookun Cho, Sung Y. Shin, Sang-Wook Kim, Chih-Cheng Hung, Jiman Hong, editors, Symposium on Applied Computing, SAC 2014, Gyeongju, Republic of Korea - March 24 - 28, 2014. pages 1094-1099, ACM, 2014. [doi]
Abstract is missing.