00607oam 2200193z- 450 99103419574033211-7281-2274-0(CKB)4100000009356372(EXLCZ)99410000000935637220220628c2019uuuu -u- -eng2019 IEEE/ACM 6th International Workshop on Requirements Engineering and Testing (RET)IEEE1-7281-2275-9 2019 IEEE/ACM 6th International Workshop on Requirements Engineering and Testing PROCEEDING99103419574033212019 IEEE2247201UNINA