"Towards a systematic requirement-based test generation framework: ..."

Shokoofeh Hesari, Razieh Behjati, Tao Yue (2013)
a service of Schloss Dagstuhl - Leibniz Center for Informatics