Towards a systematic requirement-based test generation framework: Industrial challenges and needs | IEEE Conference Publication | IEEE Xplore