An empirical study of requirements-based test generation on an automobile control system.

Ruizhi Gao, Jeong Soo Eo, W. Eric Wong, Xinwei Gao, Shou-Yu Lee

Browse the full SAC paper archive.